fix duplicate key

anoma · Jul 19, 2024 · dc4031c · dc4031c
1 parent 88329d5
commit dc4031c
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/tests/smoke/Commands/typecheck.smoke.yaml b/tests/smoke/Commands/typecheck.smoke.yaml
@@ -54,11 +54,6 @@ tests:
         HOME="home" JUVIX_TEST_PATH="other dep" juvix typecheck positive/FancyPaths/Main.juvix
     stderr:
       equals: "Well done! It type checks\n"
-    stderr:
-      matches:
-        regex: .*
-        options:
-          - dot-all
     exit-status: 0
 
   - name: typecheck-global-package