summaryrefslogtreecommitdiff
path: root/Dafny/Parser.cs
diff options
context:
space:
mode:
Diffstat (limited to 'Dafny/Parser.cs')
-rw-r--r--Dafny/Parser.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Parser.cs b/Dafny/Parser.cs
index 1454121e..f070c6df 100644
--- a/Dafny/Parser.cs
+++ b/Dafny/Parser.cs
@@ -504,7 +504,7 @@ bool IsAttribute() {
body = bb;
}
if (isPredicate) {
- f = new Predicate(id, id.val, mmod.IsStatic, !isFunctionMethod, mmod.IsUnlimited, typeArgs, openParen, formals, reqs, reads, ens, new Specification<Expression>(decreases, null), body, attrs);
+ f = new Predicate(id, id.val, mmod.IsStatic, !isFunctionMethod, mmod.IsUnlimited, typeArgs, openParen, formals, reqs, reads, ens, new Specification<Expression>(decreases, null), body, false, attrs);
} else {
f = new Function(id, id.val, mmod.IsStatic, !isFunctionMethod, mmod.IsUnlimited, typeArgs, openParen, formals, returnType, reqs, reads, ens, new Specification<Expression>(decreases, null), body, attrs);
}