fix: remove bitblast_extract rule

ufmg-smite · Nov 21, 2023 · 2aa2ecc · 2aa2ecc
1 parent f8e3126
commit 2aa2ecc
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/carcara/src/checker/mod.rs b/carcara/src/checker/mod.rs
@@ -555,7 +555,6 @@ impl<'c> ProofChecker<'c> {
             "la_mult_pos" => extras::la_mult_pos,
             "la_mult_neg" => extras::la_mult_neg,
             "mod_simplify" => extras::mod_simplify,
-            "bitblast_extract" => bvextract::extract,
 
             // Special rules that always check as valid, and are used to indicate holes in the
             // proof.