From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 22 Aug 2010 07:18:30 +0000 (+0000)
Subject: Remove some assertion checks from code that's not enabled by default.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=0e81e39e7df962c0c012fa887e4244960e04e68e;p=francis%2Fstp.git

Remove some assertion checks from code that's not enabled by default.



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

diff --git a/src/to-sat/BitBlaster.cpp b/src/to-sat/BitBlaster.cpp
index a4f519c..ee2b0dd 100644
--- a/src/to-sat/BitBlaster.cpp
+++ b/src/to-sat/BitBlaster.cpp
@@ -1285,15 +1285,10 @@ BBNodeVec BitBlaster<BBNode,BBNodeManagerT>::mult_normal(const BBNodeVec& x,
                 {
                   if (v[i] != BBFalse)
                   {
-                    const BBNodeAIG* v2 = reinterpret_cast<const BBNodeAIG*> (&(v[i]));
-                    if (v2 != 0)
-                      {
-                        cerr << *b;
-                        cerr << i << endl;
-                        cerr << n ;
-                        cerr <<( v[i] == BBTrue) << endl;
-                        //v2->print();
-                      }
+                    cerr << *b;
+                    cerr << i << endl;
+                    cerr << n ;
+                    cerr <<( v[i] == BBTrue) << endl;
                   }
 
                   assert(v[i]== BBFalse);
@@ -1316,9 +1311,6 @@ BBNodeVec BitBlaster<BBNode,BBNodeManagerT>::BBMult(const BBNodeVec& _x, const B
 		BBNodeSet& support, const ASTNode& n) {
 
 
-  checkFixed(_x,n[0]);
-  checkFixed(_y,n[1]);
-
   BBNodeVec x = _x;
   BBNodeVec y = _y;