From 2aa2ecc0c37c93e213b3e3a2f4b33ed838d5a872 Mon Sep 17 00:00:00 2001
From: GuilhermeLLS <guiluizls@gmail.com>
Date: Tue, 21 Nov 2023 14:01:05 -0300
Subject: [PATCH] fix: remove bitblast_extract rule

---
 carcara/src/checker/mod.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/carcara/src/checker/mod.rs b/carcara/src/checker/mod.rs
index 4191ce8c..e3d05228 100644
--- 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.