From b4d1cd92b9149fb6554b379a82aa44497a785380 Mon Sep 17 00:00:00 2001
From: Clark Barrett <cbarrett@fb.com>
Date: Fri, 21 Feb 2020 21:48:38 -0800
Subject: [PATCH] fixup! Add support for function definitions

---
 Source/Core/Absy.cs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 95b3205fb..f019f2b94 100644
--- 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;
     }