From 7a15b2c1fb45f0cc7480466473f344f8b1f5ed94 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 19 Sep 2012 21:11:41 +0000 Subject: [PATCH] fix subtle bug in NodeValue::toStream() --- src/expr/node_value.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.30.2