From 0999203f82d0ff7d0a1f3e981adaa4225b26022d Mon Sep 17 00:00:00 2001
From: Dan Rosén <danr@chalmers.se>
Date: Thu, 14 Aug 2014 17:43:34 -0700
Subject: Reword error message for type error in lambda requires clause

---
 Source/Dafny/Resolver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Dafny/Resolver.cs')

diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
index 35086275..7c2c5759 100644
--- a/Source/Dafny/Resolver.cs
+++ b/Source/Dafny/Resolver.cs
@@ -6983,7 +6983,7 @@ namespace Microsoft.Dafny
           ResolveExpression(e.Range, twoState, codeContext);
           Contract.Assert(e.Range.Type != null);  // follows from postcondition of ResolveExpression
           if (!UnifyTypes(e.Range.Type, Type.Bool)) {
-            Error(expr, "requires clause for lambda must be bool (instead got {0})", e.Range.Type);
+            Error(expr, "Precondition must be boolean (got {0})", e.Range.Type);
           }
         }
 
-- 
cgit v1.2.3