Reword error message for type error in lambda requires clause

1 files changed, 1 insertions, 1 deletions

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);

           }

         }