diff options
Diffstat (limited to 'src/expr/node_value.cpp')
-rw-r--r-- | src/expr/node_value.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index dbf706c45..587f3873b 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -25,6 +25,7 @@ #include "expr/kind.h" #include "expr/metakind.h" #include "util/language.h" +#include "options/options.h" #include "printer/printer.h" #include <sstream> @@ -37,11 +38,12 @@ NodeValue NodeValue::s_null(0); string NodeValue::toString() const { stringstream ss; - OutputLanguage outputLanguage = (this == &s_null) ? language::output::LANG_AST : Options::current()->outputLanguage; + + OutputLanguage outlang = (this == &s_null) ? language::output::LANG_AST : options::outputLanguage(); toStream(ss, -1, false, - outputLanguage == language::output::LANG_AUTO ? + outlang == language::output::LANG_AUTO ? language::output::LANG_AST : - outputLanguage); + outlang); return ss.str(); } |