cleanup

egraphs-good · Dec 29, 2023 · e35294f · e35294f
1 parent 5b12ae4
commit e35294f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git 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
diff --git 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();
-Original file line number
+Diff line change
@@ Expand Up / @@ -1082,7 +1082,6 @@ fn random7() { @@
         run();
     }
     #[test]
     fn random8() {
         run();
@@ Expand Down @@