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 a4f519c8db13f21de2fa7c8643ff6c6b2cb004fd..ee2b0dd5037b770c9ec1a235eb1e71f6a3843187 100644 (file)
--- 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;