fix up rust test

egraphs-good · Aug 20, 2024 · 1980203 · 1980203
1 parent 28f0b67
commit 1980203
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -334,7 +334,8 @@ fn test_subsume() {
             None,
             r#"
         ;; add something equal to x that can be extracted:
-        (declare other Math)
+        (function otherConst () Math)
+        (let other (otherConst))
         (union x other)
         (extract x 10)
         "#,