From: Clark Barrett <barrett@cs.stanford.edu>
Date: Sun, 4 Jun 2017 05:19:01 +0000 (-0700)
Subject: Fix compile error
X-Git-Tag: cvc5-1.0.0~5777
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e8c8f864bdde2fbfc6ec7ec63928683cbd57ac0c;p=cvc5.git

Fix compile error
---

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