diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/api/datatypes.cpp | 2 | ||||
| -rw-r--r-- | examples/api/java/Datatypes.java | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/examples/api/datatypes.cpp b/examples/api/datatypes.cpp index 6492ad465..dea83a95a 100644 --- a/examples/api/datatypes.cpp +++ b/examples/api/datatypes.cpp @@ -25,8 +25,6 @@ int main() { ExprManager em; SmtEngine smt(&em); - std::cout << Expr::setlanguage(language::output::LANG_CVC4); - // This example builds a simple "cons list" of integers, with // two constructors, "cons" and "nil." diff --git a/examples/api/java/Datatypes.java b/examples/api/java/Datatypes.java index d5d4af897..9406031c1 100644 --- a/examples/api/java/Datatypes.java +++ b/examples/api/java/Datatypes.java @@ -22,7 +22,6 @@ public class Datatypes { System.loadLibrary("cvc4jni"); ExprManager em = new ExprManager(); - Expr helloworld = em.mkVar("Hello World!", em.booleanType()); SmtEngine smt = new SmtEngine(em); // This example builds a simple "cons list" of integers, with |