From 554930133555526bfff0fa931d336550100fb49e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 30 Jun 2021 09:13:13 -0700 Subject: [PATCH] remove unreachable code Signed-off-by: Nikolaj Bjorner --- src/math/dd/dd_bdd.cpp | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/math/dd/dd_bdd.cpp b/src/math/dd/dd_bdd.cpp index 85e632db7..20f95bd5c 100644 --- a/src/math/dd/dd_bdd.cpp +++ b/src/math/dd/dd_bdd.cpp @@ -145,13 +145,6 @@ namespace dd { if (is_true(a)) return mk_not_rec(b); if (is_true(b)) return mk_not_rec(a); break; - case bdd_cofactor_op: - if (a == b) return a; - if (is_const(a)) return a; - if (level(a) == level(b)) - - SASSERT(!is_const(b)); - break; default: UNREACHABLE(); break;