Fix tests

GaloisInc · Feb 7, 2022 · 5a55e31 · 5a55e31
1 parent 24af734
commit 5a55e31
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tests/modsys/T14.icry.stdout b/tests/modsys/T14.icry.stdout
@@ -1,4 +1,4 @@
 Loading module Cryptol
 
-Parse error at ./T14/Main.cry:3:9,
+Parse error at T14/Main.cry:3:9,
   unexpected: MalformedUtf8
diff --git a/tests/modsys/T16.icry.stdout b/tests/modsys/T16.icry.stdout
@@ -3,7 +3,7 @@ Loading module Cryptol
 Loading module T16::A
 Loading module T16::B
 
-[error] at ./T16/B.cry:5:5--5:11
+[error] at T16/B.cry:5:5--5:11
     Multiple definitions for symbol: update
     (at Cryptol:899:11--899:17, update)
     (at ./T16/A.cry:3:1--3:7, T16::A::update)
diff --git a/tests/modsys/T18.icry.stdout b/tests/modsys/T18.icry.stdout
@@ -4,7 +4,7 @@ Loading module T18::A
 Loading module T18::A1
 Loading module T18::B
 
-[error] at ./T18/B.cry:6:5--6:6
+[error] at T18/B.cry:6:5--6:6
     Multiple definitions for symbol: u
     (at ./T18/A.cry:3:1--3:2, T18::A::u)
     (at ./T18/A1.cry:3:1--3:2, T18::A1::u)