From fe465e108f45e361df7d869f9cd7f6f2956db21f Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Tue, 28 Jul 2020 16:03:20 -0700
Subject: [PATCH] Update expected output for regression test issue835.icry.

---
 tests/issues/issue835.icry.stdout | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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.