Skip to content

Commit

Permalink
WIP, re issue #361
Browse files Browse the repository at this point in the history
  • Loading branch information
infradig committed Oct 9, 2023
1 parent 9dbcc98 commit 9c72eeb
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 6 deletions.
5 changes: 0 additions & 5 deletions src/module.c
Original file line number Diff line number Diff line change
Expand Up @@ -706,11 +706,6 @@ bool do_use_module_1(module *curr_m, cell *p)
// There's a TCO bug manifesting with clpb:sat_rewite
// so this is a temporary fix...

if (!strcmp(name, "clpb"))
curr_m->pl->opt = false;
else if (!strcmp(name, "clpz"))
curr_m->pl->opt = false;

if (!strcmp(name, "between")
|| !strcmp(name, "samsort")
|| !strcmp(name, "terms")
Expand Down
2 changes: 1 addition & 1 deletion src/query.c
Original file line number Diff line number Diff line change
Expand Up @@ -874,7 +874,7 @@ static bool are_slots_ok(const query *q, const frame *f)

if (is_empty(c))
return false;
else if (is_indirect(c) && !is_evaluable(c->val_ptr))
else if (is_indirect(c) /*&& !is_evaluable(c->val_ptr)*/)
return false;
else if (is_cstring(c) && (c->flags & FLAG_CSTR_QUANTUM_ERASER))
return false;
Expand Down

0 comments on commit 9c72eeb

Please sign in to comment.