diff --git a/language-server/tests/goals.ml b/language-server/tests/goals.ml
index a18edb263..f52f49f78 100644
--- 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
   ()