1 files changed, 0 insertions, 8 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 1b9408a8..e1b1ed15 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -3151,14 +3151,6 @@ namespace Microsoft.Dafny {
       }
       return null;
     }
-
-    /// <summary>
-    /// Should line i be used as a well-formedness context for the following lines and hints?
-    /// (The line must be boolean).
-    /// </summary>
-    public bool IsContextLine(int i) {
-       return Steps[i].ResolvedOp == BinaryExpr.ResolvedOpcode.Imp;
-    }
   }
 
   public class MatchStmt : Statement