From 2dbe1f150d30f0fb0c8522f891104270ce09db4c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 22 Aug 2014 16:59:28 -0400
Subject: Unsat core infrastruture and API (SMT-LIB compliance to come).

---
 src/smt/simplification_mode.cpp | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/smt/simplification_mode.cpp')

diff --git a/src/smt/simplification_mode.cpp b/src/smt/simplification_mode.cpp
index f728fa862..be46badfc 100644
--- a/src/smt/simplification_mode.cpp
+++ b/src/smt/simplification_mode.cpp
@@ -21,9 +21,6 @@ namespace CVC4 {
 
 std::ostream& operator<<(std::ostream& out, SimplificationMode mode) {
   switch(mode) {
-  case SIMPLIFICATION_MODE_INCREMENTAL:
-    out << "SIMPLIFICATION_MODE_INCREMENTAL";
-    break;
   case SIMPLIFICATION_MODE_BATCH:
     out << "SIMPLIFICATION_MODE_BATCH";
     break;
-- 
cgit v1.2.3