From e8c8f864bdde2fbfc6ec7ec63928683cbd57ac0c Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.stanford.edu>
Date: Sat, 3 Jun 2017 22:19:01 -0700
Subject: [PATCH] Fix compile error

---
 src/theory/bv/aig_bitblaster.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/bv/aig_bitblaster.cpp b/src/theory/bv/aig_bitblaster.cpp
index a726a0fcd..35cd48058 100644
--- 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);
-- 
2.30.2