perf: server: reset info trees for each snapshot

2021-11-04 14:43:25 +01:00 · 2021-11-04 14:43:25 +01:00 · fc5082eaef
commit fc5082eaef
parent bbaf98addf
1 changed files with 1 additions and 1 deletions
--- a/src/Lean/Server/Snapshots.lean
+++ b/src/Lean/Server/Snapshots.lean
@ -124,7 +124,7 @@ def compileNextCmd (text : FileMap) (snap : Snapshot) : IO Snapshot := do
    let (output, _) ← IO.FS.withIsolatedStreams do
      EIO.toIO ioErrorFromEmpty do
        Elab.Command.catchExceptions
-          (Elab.Command.elabCommandTopLevel cmdStx)
+          (getResetInfoTrees *> Elab.Command.elabCommandTopLevel cmdStx)
          cmdCtx cmdStateRef
    let mut postCmdState ← cmdStateRef.get
    if !output.isEmpty then