Location information changed in test 101

2025-01-05 15:07:12 +03:00 · 2015-06-09 14:45:51 -07:00 · 2015-06-09 14:45:51 -07:00 · 88e44a5937
commit 88e44a5937
parent f06b4deaea
1 changed files with 1 additions and 1 deletions
--- a/tests/issues/issue101.icry.stdout
+++ b/tests/issues/issue101.icry.stdout
@ -5,4 +5,4 @@ Loading module Cryptol
    0 >= 1
      arising from
      use of partial type function -
-      at <interactive>:1:8--1:9
+      at <interactive>:1:7--1:10