deleted unused code

1 files changed, 1 insertions, 24 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 8f51aac8..e5e3e549 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -1763,30 +1763,7 @@ namespace Microsoft.Boogie {
     }

   }

 

-  public class Expansion {

-    public string ignore; // when to ignore

-    public Expr/*!*/ body;

-    public TypeVariableSeq/*!*/ TypeParameters;

-    public Variable[]/*!*/ formals;

-    [ContractInvariantMethod]

-    void ObjectInvariant() {

-      Contract.Invariant(body != null);

-      Contract.Invariant(TypeParameters != null);

-      Contract.Invariant(formals != null);

-    }

-

-

-    public Expansion(string ignore, Expr body,

-                     TypeVariableSeq/*!*/ typeParams, Variable[] formals) {

-      Contract.Requires(typeParams != null);

-      Contract.Requires(formals != null);

-      Contract.Requires(body != null);

-      this.ignore = ignore;

-      this.body = body;

-      this.TypeParameters = typeParams;

-      this.formals = formals;

-    }

-  }

+  

 

   public class Function : DeclWithFormals {

     public string Comment;