From 74e791800b6f73504b0b77b0c3fb106dcccbea50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Tue, 4 Feb 2025 14:31:05 +0100
Subject: [PATCH] Actually remove the newly introduced call to Tok.equal.

---
 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 587a831d..c823cfed 100644
--- 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) *)