diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:24:56 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 13:24:56 -0500 |
commit | e23a40c0d121209afecff21ce5c6ed6e644bfb0e (patch) | |
tree | 03752744a3388bd716c83c1dd3a4ba29556bb062 /src/printer/cvc/cvc_printer.cpp | |
parent | f42dcea977ed9180481cc842531e2c5372acbbe1 (diff) |
Better automatic handling of output language setting.
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index bd2626ddd..b0dfbbd67 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -80,7 +80,7 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo // null if(n.getKind() == kind::NULL_EXPR) { - out << "NULL"; + out << "null"; return; } |