oops

egraphs-good · Jul 31, 2023 · bbe7bcc · bbe7bcc
1 parent ec8307f
commit bbe7bcc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/sort/map.rs b/src/sort/map.rs
@@ -48,7 +48,6 @@ impl MapSort {
 impl MapSort {
     pub fn presort_names() -> Vec<Symbol> {
         vec![
-            "rebuild".into(),
             "map-empty".into(),
             "map-insert".into(),
             "map-get".into(),

diff --git a/src/sort/vec.rs b/src/sort/vec.rs
@@ -18,7 +18,6 @@ impl VecSort {
 
     pub fn presort_names() -> Vec<Symbol> {
         vec![
-            "rebuild".into(),
             "vec-of".into(),
             "vec-append".into(),
             "vec-empty".into(),