Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
infradig committed Dec 16, 2024
1 parent 18895af commit b4a7cb2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/compile.c
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ static void compile_term(clause *cl, cell **dst, cell **src)
return;
}

#if 1
#if 0
if (((*src)->val_off == g_disjunction_s) && ((*src)->arity == 2)) {
unsigned var_nbr = cl->nbr_vars++;
*src += 1;
Expand Down

0 comments on commit b4a7cb2

Please sign in to comment.