fix shell tests

anoma · Sep 29, 2022 · 91d0621 · 91d0621
1 parent b4109a1
commit 91d0621
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/CLI/Commands/dev/internal.test b/tests/CLI/Commands/dev/internal.test
@@ -16,6 +16,6 @@ $ juvix --only-errors dev internal typecheck tests/positive/Internal/Simple.juvi
 >= 0
 
 $ juvix --no-colors dev internal typecheck tests/negative/Internal/MultiWrongType.juvix
->2 /(.+)\/([^\/]+)\.juvix\:14\:7\-8\: error.*
+>2 /(.+)\/([^\/]+)\.juvix\:[0-9]*\:[0-9]*\-[0-9]*\: error.*
 .*/
 >= 1
diff --git a/tests/CLI/Commands/typecheck.test b/tests/CLI/Commands/typecheck.test
@@ -20,6 +20,6 @@ $ juvix --only-errors typecheck tests/positive/Internal/Simple.juvix
 >= 0
 
 $ juvix --no-colors typecheck tests/negative/Internal/MultiWrongType.juvix
->2 /(.+)\/([^\/]+)\.juvix\:14\:7\-8\: error.*
+>2 /(.+)\/([^\/]+)\.juvix\:[0-9]*\:[0-9]*\-[0-9]*\: error.*
 .*/
 >= 1