diff --git a/tests/issues/issue835.icry.stdout b/tests/issues/issue835.icry.stdout
index da04b3e2..6e613791 100644
--- a/tests/issues/issue835.icry.stdout
+++ b/tests/issues/issue835.icry.stdout
@@ -3,8 +3,9 @@ Loading module Cryptol
 Loading module Float
 
 [error] at <interactive>:1:1--1:28:
-  Unsolved constraints:
+  Unsolvable constraints:
     • SignedCmp (Float 5 11)
         arising from
         use of expression (<$)
         at <interactive>:1:1--1:28
+    • Reason: Type 'Float' does not support signed comparisons.