From f6b6d827f41b5b3707a1d0a59311ee3d852244d2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 24 Dec 2013 13:26:31 -0500
Subject: [PATCH] Cleanup related to output language fix.

---
 examples/api/datatypes.cpp       | 2 --
 examples/api/java/Datatypes.java | 1 -
 2 files changed, 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
-- 
2.30.2