diff options
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index c5e8e77de..d769ed109 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -985,7 +985,7 @@ inline std::ostream& operator<<(std::ostream& out, ExprDag d) { * Use like this: * * // let out be an ostream, e an Expr - * out << Expr::setlanguage(LANG_SMTLIB_V2) << e << endl; + * out << Expr::setlanguage(LANG_SMTLIB_V2_5) << e << endl; * * The setting stays permanently (until set again) with the stream. */ |