From dbc0a3583d8672d1a7e66f7bc1a6f367ff306aee Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 22 Feb 2006 08:55:42 +0000
Subject: [PATCH] - Better setup for --experimental= switch using bit masks.

---
 src/binding.c        | 2 +-
 src/prune_theorems.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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))
 	    {