Removed unused code (old code from previous ghost-statement handling)

1 files changed, 0 insertions, 16 deletions

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 83db732e..2a98d5c2 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -3461,23 +3461,7 @@ namespace Microsoft.Dafny {
       Contract.Invariant(EndTok != null);

     }

 

-#if OLD_GHOST_HANDLING

     public bool IsGhost;  // filled in by resolution

-#else

-    public static bool ReadyToDealWithGhostField = true;

-    private bool izzaGhost;

-    public bool IsGhost {

-      get {

-        Contract.Requires(ReadyToDealWithGhostField);

-        return izzaGhost;

-      }

-      set {

-        Contract.Requires(ReadyToDealWithGhostField);

-        izzaGhost = value;

-      }

-    }

-    public bool C_IsGhost;  // new ghost computation

-#endif

 

     public Statement(IToken tok, IToken endTok, Attributes attrs) {

       Contract.Requires(tok != null);