diff options
author | leino <unknown> | 2015-01-07 23:02:42 -0800 |
---|---|---|
committer | leino <unknown> | 2015-01-07 23:02:42 -0800 |
commit | b09206df1a298d56fca3bec95baab41b7f670731 (patch) | |
tree | 465ea6bbb9bf97e1ab1469d6e793946de26c8047 /Source/Dafny/Parser.cs | |
parent | 9ead0d5efd6bae5a29193f57554d51d545566c4e (diff) |
Added command-line switch /allowGlobals to simplify transition from language changes introduced in changeset c56031307ac1
Diffstat (limited to 'Source/Dafny/Parser.cs')
-rw-r--r-- | Source/Dafny/Parser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 15137923..12fc3c34 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -547,7 +547,7 @@ bool IsType(ref IToken pt) { break;
}
case 64: case 65: case 68: case 74: case 75: case 76: case 77: case 78: case 82: case 83: case 84: {
- ClassMemberDecl(membersDefaultClass, false, true);
+ ClassMemberDecl(membersDefaultClass, false, !DafnyOptions.O.AllowGlobals);
break;
}
}
@@ -634,7 +634,7 @@ bool IsType(ref IToken pt) { break;
}
case 64: case 65: case 68: case 74: case 75: case 76: case 77: case 78: case 82: case 83: case 84: {
- ClassMemberDecl(namedModuleDefaultClassMembers, false, true);
+ ClassMemberDecl(namedModuleDefaultClassMembers, false, !DafnyOptions.O.AllowGlobals);
break;
}
}
|