diff options
-rw-r--r-- | src/preprocessing/passes/bv_to_bool.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/preprocessing/passes/bv_to_bool.cpp b/src/preprocessing/passes/bv_to_bool.cpp index b01a60031..745a16979 100644 --- a/src/preprocessing/passes/bv_to_bool.cpp +++ b/src/preprocessing/passes/bv_to_bool.cpp @@ -214,7 +214,6 @@ Node BVToBool::convertBvTerm(TNode node) { case kind::BITVECTOR_OR: new_kind = kind::OR; break; case kind::BITVECTOR_AND: new_kind = kind::AND; break; - case kind::BITVECTOR_XOR: new_kind = kind::XOR; break; case kind::BITVECTOR_NOT: new_kind = kind::NOT; break; default: Unhandled(); } |