diff options
| author |  Bryan Parno <parno@microsoft.com> | 2015-02-09 14:07:27 -0800 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2015-02-09 14:07:27 -0800 |
| commit | a5846ecba743c98768226f692b2f9d0448f1fd87 (patch) | |
| tree | 1297228d4406f691dce90aaaf209397ec7fde943 | |
| parent | 459fec4034a86b800da0e0510c73eddfb1b11ca9 (diff) | |
Make allowGlobals a bit more generous
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 2a90a092..e6ab8478 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -2281,7 +2281,7 @@ namespace Microsoft.Dafny { public readonly bool HasStaticKeyword;
public bool IsStatic {
get {
- return HasStaticKeyword || (!DafnyOptions.O.AllowGlobals && EnclosingClass is ClassDecl && ((ClassDecl)EnclosingClass).IsDefaultClass);
+ return HasStaticKeyword || (EnclosingClass is ClassDecl && ((ClassDecl)EnclosingClass).IsDefaultClass);
}
}
public readonly bool IsGhost;
|