diff --git a/src/binding.c b/src/binding.c index a8fa0a3..49dce05 100644 --- a/src/binding.c +++ b/src/binding.c @@ -801,7 +801,7 @@ bindings_c_minimal () { List bl; - if (switches.experimental == 1) + if (switches.experimental & 1 > 0) { if (unique_origination () == 0) { diff --git a/src/prune_theorems.c b/src/prune_theorems.c index e2335bd..c07c71d 100644 --- a/src/prune_theorems.c +++ b/src/prune_theorems.c @@ -262,7 +262,7 @@ prune_theorems (const System sys) * if (switches.match < 2 *!@TODO Doesn't work yet as desired for Tickets. Prove lemma first. */ - if (switches.experimental) + if (switches.experimental & 2 > 0) { if (!hasTicketSubterm (b->term)) {