add id to All

egraphs-good · Jan 29, 2024 · 8d9403c · 8d9403c
1 parent 2e6bb70
commit 8d9403c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tree_unique_args/src/arg_used_analysis.rs b/tree_unique_args/src/arg_used_analysis.rs
@@ -112,8 +112,8 @@ fn test_args_used_analysis() -> Result<(), egglog::Error> {
     (let id1 (Id (i64-fresh!)))
     (let id2 (Id (i64-fresh!)))
     (let expr1
-        (All (Parallel) (Pair (Let id2 (All (Parallel) (Pair (Get (Arg id1) 3) 
-                                                             (Num id1 1)))
+        (All id1 (Parallel) (Pair (Let id2 (All id1 (Parallel) (Pair (Get (Arg id1) 3) 
+                                                                     (Num id1 1)))
                                         (Get (Arg id2) 0))
                               (Add (Get (Arg id1) 1)
                                    (Get (Arg id1) 2)))))