Merge pull request #1026 from ppedrot/tok-rm-equal-le-retour

Actually remove the newly introduced call to Tok.equal.
coq · Feb 4, 2025 · cfcb7e4 · cfcb7e4
2 parents 85594dd + 74e7918
commit cfcb7e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language-server/dm/document.ml b/language-server/dm/document.ml
@@ -437,7 +437,7 @@ let same_tokens (s1 : sentence) (s2 : pre_sentence) =
   match s1.ast, s2.ast with
   | Error _, Error _ -> false
   | Parsed ast1, Parsed ast2 ->
-    CList.equal Tok.equal ast1.tokens ast2.tokens
+    CList.equal tok_equal ast1.tokens ast2.tokens
   | _, _ -> false
 
 (* TODO improve diff strategy (insertions,etc) *)