From 9b38d37e09d0c1508a61c0656bef8e9d6d0b40ed Mon Sep 17 00:00:00 2001
From: Dorian Lesbre <dorian.lesbre@gmail.com>
Date: Thu, 30 Nov 2023 11:15:54 +0100
Subject: [PATCH] Annotation

---
 language-server/dm/document.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/language-server/dm/document.ml b/language-server/dm/document.ml
index 23bbbdc4a..075da44f8 100644
--- a/language-server/dm/document.ml
+++ b/language-server/dm/document.ml
@@ -142,7 +142,7 @@ let find_sentence_after parsed loc =
   | Some (_, sentence) -> Some sentence
   | _ -> None
 
-let find_next_qed (parsed : document) loc =
+let find_next_qed parsed loc =
   let exception Found of sentence in
   let f k sentence =
     if loc <= k then