Fix test suite

GaloisInc · Apr 6, 2021 · 7bcc47e · 7bcc47e
1 parent 04ad6da
commit 7bcc47e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/issues/issue211.icry.stdout b/tests/issues/issue211.icry.stdout
@@ -11,7 +11,7 @@ Run-time error: boom
 Cryptol::error called at issue211.icry:7:28--7:33
 Cryptol::splitAt called at issue211.icry:7:2--7:9
 
-<<loop>> while evaluating <interactive>::x
+<<loop>> while evaluating x
 This usually occurs due to an improper recursive definition,
 but may also result from retrying a previously interrupted
 computation (e.g., after CTRL^C). In that case, you may need to