Fixing unit tests missing the new next_pos arg

coq · Sep 9, 2024 · fbe72f7 · fbe72f7
1 parent 6191e97
commit fbe72f7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/language-server/tests/dm_tests.ml b/language-server/tests/dm_tests.ml
@@ -182,7 +182,7 @@ let%test_unit "step_forward.proof_view" =
   let todo = Sel.Todo.(add todo events) in
   let st = handle_events todo st in
   [%test_pred: sentence_id option] (Option.equal Stateid.equal (Some s2.id)) (DocumentManager.Internal.observe_id st);
-  let data = DocumentManager.get_proof st Protocol.Settings.Goals.Diff.Mode.Off None in
+  let data = DocumentManager.get_proof st Protocol.Settings.Goals.Diff.Mode.Off None false in
   [%test_eq: bool] (Option.is_some data) true
   (* 
   let doc = DocumentManager.Internal.document st in

diff --git a/language-server/tests/goals.ml b/language-server/tests/goals.ml
@@ -29,7 +29,7 @@ let%test_unit "goals: encoding after replay from top" =
   let st, exec_events, _ = DocumentManager.interpret_to_next st ~should_block_on_error:false in
   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) in
+  let proof = Stdlib.Option.get (DocumentManager.get_proof st Protocol.Settings.Goals.Diff.Mode.Off None false) in
   let messages = DocumentManager.get_messages st None in
   let _json = Protocol.ExtProtocol.Notification.Server.ProofViewParams.yojson_of_t { proof = Some proof; messages } in
   ()