From a3534f99b752a93ca16a14d2a46aa372998e6146 Mon Sep 17 00:00:00 2001
From: Rob Dockins <rdockins@galois.com>
Date: Wed, 30 Jun 2021 16:34:17 -0700
Subject: [PATCH] Update tests again

---
 tests/issues/issue103.icry.stdout    | 2 +-
 tests/modsys/T16.icry.stdout         | 2 +-
 tests/modsys/T16.icry.stdout.mingw32 | 2 +-
 tests/regression/safety.icry.stdout  | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/issues/issue103.icry.stdout b/tests/issues/issue103.icry.stdout
index a1ddb96e0..1e5c34c41 100644
--- a/tests/issues/issue103.icry.stdout
+++ b/tests/issues/issue103.icry.stdout
@@ -2,7 +2,7 @@ Loading module Cryptol
 
 Run-time error: undefined
 -- Backtrace --
-Cryptol::error called at Cryptol:1037:13--1037:18
+Cryptol::error called at Cryptol:1040:13--1040:18
 Cryptol::undefined called at issue103.icry:1:9--1:18
 Using exhaustive testing.
 Testing... ERROR for the following inputs:
diff --git a/tests/modsys/T16.icry.stdout b/tests/modsys/T16.icry.stdout
index 30dffed60..545eec073 100644
--- a/tests/modsys/T16.icry.stdout
+++ b/tests/modsys/T16.icry.stdout
@@ -5,5 +5,5 @@ Loading module T16::B
 
 [error] at ./T16/B.cry:5:5--5:11
     Multiple definitions for symbol: update
-    (at Cryptol:891:11--891:17, update)
+    (at Cryptol:894:11--894:17, update)
     (at ./T16/A.cry:3:1--3:7, T16::A::update)
diff --git a/tests/modsys/T16.icry.stdout.mingw32 b/tests/modsys/T16.icry.stdout.mingw32
index b203ef673..baaee3222 100644
--- a/tests/modsys/T16.icry.stdout.mingw32
+++ b/tests/modsys/T16.icry.stdout.mingw32
@@ -5,5 +5,5 @@ Loading module T16::B
 
 [error] at .\T16\B.cry:5:5--5:11
     Multiple definitions for symbol: update
-    (at Cryptol:891:11--891:17, update)
+    (at Cryptol:894:11--894:17, update)
     (at .\T16\A.cry:3:1--3:7, T16::A::update)
diff --git a/tests/regression/safety.icry.stdout b/tests/regression/safety.icry.stdout
index 66f56cee3..58fc9cb35 100644
--- a/tests/regression/safety.icry.stdout
+++ b/tests/regression/safety.icry.stdout
@@ -3,7 +3,7 @@ Counterexample
 (\x -> assert x "asdf" "asdf") False ~> ERROR
 Run-time error: asdf
 -- Backtrace --
-Cryptol::error called at Cryptol:1045:41--1045:46
+Cryptol::error called at Cryptol:1048:41--1048:46
 Cryptol::assert called at safety.icry:3:14--3:20
 <interactive>::it called at safety.icry:3:7--3:37
 Counterexample