Fix compile error

diff --git a/src/theory/bv/aig_bitblaster.cpp b/src/theory/bv/aig_bitblaster.cpp
index a726a0fcd4d74b806ad527188ac3827713db90b7..35cd48058919eedb123a99a7443b57e4b0afe98e 100644 (file)
--- a/src/theory/bv/aig_bitblaster.cpp
+++ b/src/theory/bv/aig_bitblaster.cpp
@@ -245,7 +245,7 @@ Abc_Obj_t* AigBitblaster::bbFormula(TNode node) {
       //else, continue...
     }
   default:
-    if( isVar(node) ){
+    if( node.isVar() ){
       result = mkInput(node);
     }else{
       bbAtom(node);