chore: that last commit shouldn't have worked, and yet apparently it did

2021-01-02 23:45:25 +01:00 · 2021-01-02 23:45:25 +01:00 · cf101fa5ae
commit cf101fa5ae
parent d576827e60
1 changed files with 1 additions and 0 deletions
--- a/src/Lean/Server/FileWorker.lean
+++ b/src/Lean/Server/FileWorker.lean
@ -305,6 +305,7 @@ section RequestHandling
          match cmdSnaps with
          | AsyncList.asyncTail tl =>
            discard <| IO.wait tl
+            let ⟨cmdSnaps, _⟩ ← cmdSnaps.updateFinishedPrefix
            lastSnap? := cmdSnaps.finishedPrefix.getLast?
          | _ => ()
        if let some lastSnap := lastSnap? then