Revert "add test"

This reverts commit 3b28dbd.
anoma · Nov 4, 2024 · ba9994e · ba9994e
1 parent 3b28dbd
commit ba9994e
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 20 deletions.
diff --git a/test/Compilation/Positive.hs b/test/Compilation/Positive.hs
@@ -485,10 +485,5 @@ tests =
         "Test082: Pattern matching with side conditions"
         $(mkRelDir ".")
         $(mkRelFile "test082.juvix")
-        $(mkRelFile "out/test082.out"),
-      posTest
-        "Test083: Record update"
-        $(mkRelDir ".")
-        $(mkRelFile "test083.juvix")
-        $(mkRelFile "out/test083.out")
+        $(mkRelFile "out/test082.out")
     ]
diff --git a/tests/Compilation/positive/out/test083.out b/tests/Compilation/positive/out/test083.out
diff --git a/tests/Compilation/positive/test083.juvix b/tests/Compilation/positive/test083.juvix