From 46d121f1544041613aa15c50bf6cd6d20967bcf5 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 11 Dec 2009 00:43:53 +0000
Subject: [PATCH] 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
---
 src/to-sat/SimpBool.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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);
         }
       }
   }
-- 
2.47.3