From e35294f26dc923db35e4154989e137f0e512c22a Mon Sep 17 00:00:00 2001
From: Trevor Hansen <trev_abroad@yahoo.com>
Date: Fri, 29 Dec 2023 23:22:29 +1100
Subject: [PATCH] cleanup

---
 Cargo.toml                    | 3 ---
 src/extract/faster_ilp_cbc.rs | 1 -
 2 files changed, 4 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index a59fc6c..1beca56 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,6 @@ version = "0.1.0"
 
 [features]
 ilp-cbc = ["coin_cbc"]
-ilp-cbc-prune = ["coin_cbc"]
 
 [dependencies]
 env_logger = { version = "0.10.0", default-features = false }
@@ -28,5 +27,3 @@ rpds = "1.1.0"
 git = "https://github.com/egraphs-good/egraph-serialize"
 rev = "951b829a434f4008c7b45ba4ac0da1037d2da90"
 
-[profile.release]
-debug = true
\ No newline at end of file
diff --git a/src/extract/faster_ilp_cbc.rs b/src/extract/faster_ilp_cbc.rs
index dcd5351..dc8ab2e 100644
--- a/src/extract/faster_ilp_cbc.rs
+++ b/src/extract/faster_ilp_cbc.rs
@@ -1082,7 +1082,6 @@ fn random7() {
     run();
 }
 
-
 #[test]
 fn random8() {
     run();