diff options
Diffstat (limited to 'src/theory/theory_model.cpp')
-rw-r--r-- | src/theory/theory_model.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/theory_model.cpp b/src/theory/theory_model.cpp index 203f116bb..6c0018c05 100644 --- a/src/theory/theory_model.cpp +++ b/src/theory/theory_model.cpp @@ -70,8 +70,8 @@ Node TheoryModel::getValue(TNode n) const { //normalize nn = Rewriter::rewrite(nn); } - Debug("model-getvalue") << "[model-getvalue] getValue( " << n << " ): returning" - << nn << std::endl; + Debug("model-getvalue") << "[model-getvalue] getValue( " << n << " ): " << std::endl + << "[model-getvalue] returning " << nn << std::endl; return nn; } |