1 changed files with 0 additions and 1 deletions
--- a/Repl.lean
+++ b/Repl.lean
@ -81,7 +81,6 @@ def liftTermElabM { α } (termElabM: Elab.TermElabM α) (levelNames : List Name
    : EMainM α := do
  let scope := (← get).scope
  let context := {
    errToSorry := false,
    isNoncomputableSection := scope.isNoncomputable,
  }
  let state := {