test

anoma · Nov 22, 2024 · 2b4ace5 · 2b4ace5
1 parent e7ea665
commit 2b4ace5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/Compilation/positive/test086.juvix b/tests/Compilation/positive/test086.juvix
@@ -23,8 +23,8 @@ rr : R :=
 
 g (r : R) : Nat :=
   let
-    mkR@{x := x1; y} := r
-  in x1 + 2 * y;
+    mkR@{x := x; y} := r
+  in x + 2 * y;
 
 mkR@{x := rx; y := ry} : R := rr;