diff options
author | Tim King <taking@cs.nyu.edu> | 2012-06-27 20:56:23 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-06-27 20:56:23 +0000 |
commit | 82fb50f809d708887fc8759ca4db571202a6a93f (patch) | |
tree | 9baa2957d6c94063d442450f52a60070406f7839 /src/theory/arith | |
parent | 82543ccbc0cf3dadd39cfdb295c8848f8e863a54 (diff) |
Improved debugging output.
Diffstat (limited to 'src/theory/arith')
-rw-r--r-- | src/theory/arith/partial_model.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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){ |