fixup! Add support for function definitions

boogie-org · Feb 22, 2020 · b4d1cd9 · b4d1cd9
1 parent 71ef063
commit b4d1cd9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
@@ -1527,7 +1527,6 @@ public override void Emit(TokenTextWriter stream, int level) {
 
  public class Axiom : Declaration {
  private Expr/*!*/ expression;
- public bool IsFunctionDefinition;
 
  public Expr Expr {
  get {
@@ -1558,7 +1557,6 @@ public Axiom(IToken/*!*/ tok, Expr/*!*/ expr, string comment)
  Contract.Requires(tok != null);
  Contract.Requires(expr != null);
  this.expression = expr;
- this.IsFunctionDefinition = false;
  Comment = comment;
  }