From 1a558a30bec496444742ed75c0a6973d9789daf7 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 2 Apr 2012 20:56:55 +0000
Subject: - Merged in the branch cdlist-cleanup. - This adds a CleanUp template
 argument to CDList. - CDChunkList<T> replaces the CDList specialization for
 ContextMemoryAllocator. - CDVector<T> has been simplified and improved. - The
 expected performance impact is negligible.

---
 src/theory/arith/partial_model.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/theory/arith/partial_model.h')

diff --git a/src/theory/arith/partial_model.h b/src/theory/arith/partial_model.h
index 7a2a97726..7e2211595 100644
--- a/src/theory/arith/partial_model.h
+++ b/src/theory/arith/partial_model.h
@@ -74,10 +74,10 @@ public:
     d_hasSafeAssignment(),
     d_assignment(),
     d_safeAssignment(),
-    d_upperBound(c, true),
-    d_lowerBound(c, true),
-    d_upperConstraint(c,true),
-    d_lowerConstraint(c,true),
+    d_upperBound(c),
+    d_lowerBound(c),
+    d_upperConstraint(c),
+    d_lowerConstraint(c),
     d_deltaIsSafe(false),
     d_delta(-1,1),
     d_history(),
-- 
cgit v1.2.3