diff --git a/tests/issues/issue101.icry.stdout b/tests/issues/issue101.icry.stdout
index 4ab8d029..6894ffcc 100644
--- 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