diff options
Diffstat (limited to 'doc/libcvc4.3_template.in')
| -rw-r--r-- | doc/libcvc4.3_template.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/libcvc4.3_template.in b/doc/libcvc4.3_template.in index 2ff96eb5a..f85a909dd 100644 --- a/doc/libcvc4.3_template.in +++ b/doc/libcvc4.3_template.in @@ -22,7 +22,7 @@ int main() { Expr onePlusTwo = em.mkExpr(kind::PLUS, em.mkConst(Rational(1)), em.mkConst(Rational(2))); - std::cout << Expr::setlanguage(language::output::LANG_CVC4) + std::cout << language::SetLanguage(language::output::LANG_CVC4) << smt.getInfo("name") << " says that 1 + 2 = " << smt.simplify(onePlusTwo) |