diff options
Diffstat (limited to 'Source/Dafny/Parser.cs')
| -rw-r--r-- | Source/Dafny/Parser.cs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 451cdd5c..aecb4ab1 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -414,8 +414,10 @@ bool IsLoopSpecOrAlternative() { Get();
DatatypeMemberDecl(ctors);
}
- while (!(la.kind == 0 || la.kind == 15)) {SynErr(125); Get();}
- Expect(15);
+ if (la.kind == 15) {
+ while (!(la.kind == 0 || la.kind == 15)) {SynErr(125); Get();}
+ Get();
+ }
if (co) {
dt = new CoDatatypeDecl(id, id.val, module, typeArgs, ctors, attrs);
} else {
|