Improved debugging output.

diff --git a/src/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp
index 32c9f6adc7b0b15128503dc816e95f1145271668..0fabe1a0ffe7c85f176343da91db1367be0eee93 100644 (file)
--- 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){