From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 19 Sep 2012 21:11:41 +0000 (+0000)
Subject: fix subtle bug in NodeValue::toStream()
X-Git-Tag: cvc5-1.0.0~7799
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7a15b2c1fb45f0cc7480466473f344f8b1f5ed94;p=cvc5.git

fix subtle bug in NodeValue::toStream()
---

diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 587f3873b..0e3fcb5ae 100644
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -40,7 +40,7 @@ string NodeValue::toString() const {
   stringstream ss;
 
   OutputLanguage outlang = (this == &s_null) ? language::output::LANG_AST : options::outputLanguage();
-  toStream(ss, -1, false,
+  toStream(ss, -1, false, false,
            outlang == language::output::LANG_AUTO ?
              language::output::LANG_AST :
              outlang);