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 | |
| parent | 82543ccbc0cf3dadd39cfdb295c8848f8e863a54 (diff) | |
Improved debugging output.
| -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){ |