diff options
Diffstat (limited to 'Dafny/Parser.cs')
-rw-r--r-- | Dafny/Parser.cs | 2 |
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);
}
|