From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 11 Dec 2009 00:43:53 +0000 (+0000)
Subject: fixed erroneous checkin. reverted NOT functionality back
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=46d121f1544041613aa15c50bf6cd6d20967bcf5;p=francis%2Fstp.git

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 bf346c6..f303855 100644
--- 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);
         }
       }
   }