fixed erroneous checkin. reverted NOT functionality back

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@503 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/to-sat/SimpBool.cpp b/src/to-sat/SimpBool.cpp
index bf346c67e63464e012a1f95f6bd0ccdc372c4817..f3038559f7d686df670415ffd53b3c9ad0b9b9ea 100644 (file)
--- a/src/to-sat/SimpBool.cpp
+++ b/src/to-sat/SimpBool.cpp
@@ -139,8 +139,8 @@ namespace BEEV
         }
       default:
         {
-         //return CreateNode(NOT, form);
-          return CreateNode(XOR, ASTTrue, form);
+         return CreateNode(NOT, form);
+          //return CreateNode(XOR, ASTTrue, form);
         }
       }
   }