andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Better setup for --experimental= switch using bit masks.

Browse Source
This commit is contained in:
ccremers 2006-02-22 08:55:42 +00:00
parent 10b6793d97
commit dbc0a3583d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/binding.c
View File

@ -801,7 +801,7 @@ bindings_c_minimal ()
{ {
List bl; List bl;
if (switches.experimental == 1) if (switches.experimental & 1 > 0)
{ {
if (unique_origination () == 0) if (unique_origination () == 0)
{ {

2
src/prune_theorems.c
View File

@ -262,7 +262,7 @@ prune_theorems (const System sys)
* if (switches.match < 2 * if (switches.match < 2
*!@TODO Doesn't work yet as desired for Tickets. Prove lemma first. *!@TODO Doesn't work yet as desired for Tickets. Prove lemma first.
*/ */
if (switches.experimental) if (switches.experimental & 2 > 0)
{ {
if (!hasTicketSubterm (b->term)) if (!hasTicketSubterm (b->term))
{ {