Fixing unit test

coq · Sep 9, 2024 · 8268c70 · 8268c70
1 parent cd77be9
commit 8268c70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language-server/tests/goals.ml b/language-server/tests/goals.ml
@@ -30,7 +30,7 @@ let%test_unit "goals: encoding after replay from top" =
   let todo = Sel.Todo.(add empty exec_events) in
   let st = handle_events todo st in
   let proof = Stdlib.Option.get (DocumentManager.get_proof st Protocol.Settings.Goals.Diff.Mode.Off None ~next_pos:false) in
-  let messages = DocumentManager.get_messages st None in
+  let messages = DocumentManager.get_messages st None ~next_pos:false in
   let _json = Protocol.ExtProtocol.Notification.Server.ProofViewParams.yojson_of_t { proof = Some proof; messages } in
   ()