diff options
Diffstat (limited to 'Source/Dafny/Parser.cs')
| -rw-r--r-- | Source/Dafny/Parser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 7a617a6c..8755d275 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -560,7 +560,7 @@ bool CloseOptionalBrace(bool usesOptionalBrace) { Get();
Type(out baseType);
}
- if (baseType == null) { baseType = new OperationTypeProxy(true, true, false, false); }
+ if (baseType == null) { baseType = new OperationTypeProxy(true, true, false, false, false); }
Expect(9);
Expression(out wh, false, true);
td = new NewtypeDecl(id, id.val, module, new BoundVar(bvId, bvId.val, baseType), wh, attrs);
|