From 1f4b954a2cc7667a56a3007fa75c125fba93ed23 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 2 Mar 2017 14:45:21 -0600
Subject: Eliminate Boolean term conversion. Generalizes removeITE pass to
 remove Boolean terms, treats distinguished BOOLEAN_TERM_VARIABLE kind as
 theory literal. Fixes bugs 597, 604, 651, 652, 691, 694. Add regressions.

---
 src/parser/smt1/smt1.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/parser/smt1/smt1.cpp')

diff --git a/src/parser/smt1/smt1.cpp b/src/parser/smt1/smt1.cpp
index 015129f10..c8d1b774c 100644
--- a/src/parser/smt1/smt1.cpp
+++ b/src/parser/smt1/smt1.cpp
@@ -79,7 +79,6 @@ Smt1::Smt1(ExprManager* exprManager, Input* input, bool strictMode, bool parseOn
   // Boolean symbols are always defined
   addOperator(kind::AND);
   addOperator(kind::EQUAL);
-  addOperator(kind::IFF);
   addOperator(kind::IMPLIES);
   addOperator(kind::ITE);
   addOperator(kind::NOT);
-- 
cgit v1.2.3