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;
     }