Skip to content

Commit

Permalink
fix debug invocation
Browse files Browse the repository at this point in the history
  • Loading branch information
enricozb committed Jun 24, 2024
1 parent 9f0a881 commit e488f35
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/hvm.c
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
#ifdef DEBUG
#define debug(...) fprintf(stderr, __VA_ARGS__)
#else
#define debug(x)
#define debug(...)
#endif

#define INTERPRETED
Expand Down Expand Up @@ -596,7 +596,7 @@ static inline void push_redex(Net* net, TM* tm, Pair redex) {
bool free_local = tm->hput < HLEN;
bool free_global = tm->rput < RLEN;
if (!free_global || !free_local) {
debugln("push_redex: limited resources, maybe corrupting memory\n");
debug("push_redex: limited resources, maybe corrupting memory\n");
}
#endif

Expand Down

0 comments on commit e488f35

Please sign in to comment.