diff --git a/tests/issues/issue211.icry.stdout b/tests/issues/issue211.icry.stdout index 8c093dcfd..92205de7b 100644 --- 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 -<> while evaluating ::x +<> 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