From 4c87c0794b7e954afd090cfbf441caa0b09c3ef5 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 5 Oct 2012 22:07:16 +0000
Subject: BoolExpr removed and replaced with Expr

---
 src/prop/cnf_stream.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/prop/cnf_stream.cpp')

diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index f47637b72..e7c74525d 100644
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -75,7 +75,7 @@ void CnfStream::assertClause(TNode node, SatClause& c) {
   Debug("cnf") << "Inserting into stream " << c << endl;
   if(Dump.isOn("clauses")) {
     if(c.size() == 1) {
-      Dump("clauses") << AssertCommand(BoolExpr(getNode(c[0]).toExpr()));
+      Dump("clauses") << AssertCommand(Expr(getNode(c[0]).toExpr()));
     } else {
       Assert(c.size() > 1);
       NodeBuilder<> b(kind::OR);
@@ -83,7 +83,7 @@ void CnfStream::assertClause(TNode node, SatClause& c) {
         b << getNode(c[i]);
       }
       Node n = b;
-      Dump("clauses") << AssertCommand(BoolExpr(n.toExpr()));
+      Dump("clauses") << AssertCommand(Expr(n.toExpr()));
     }
   }
   d_satSolver->addClause(c, d_removable);
-- 
cgit v1.2.3