From 82fb50f809d708887fc8759ca4db571202a6a93f Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 27 Jun 2012 20:56:23 +0000 Subject: Improved debugging output. --- src/theory/arith/partial_model.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/arith') diff --git a/src/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp index 32c9f6adc..0fabe1a0f 100644 --- a/src/theory/arith/partial_model.cpp +++ b/src/theory/arith/partial_model.cpp @@ -269,6 +269,7 @@ void ArithPartialModel::printModel(ArithVar x){ Debug("model") << getUpperBound(x) << " "; Debug("model") << getUpperBoundConstraint(x) << " "; } + Debug("model") << endl; } void ArithPartialModel::deltaIsSmallerThan(const DeltaRational& l, const DeltaRational& u){ -- cgit v1.2.3