Update log.ml

coq-community · Jun 27, 2024 · 20cb9d9 · 20cb9d9
1 parent 40ac403
commit 20cb9d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language-server/dm/log.ml b/language-server/dm/log.ml
@@ -66,7 +66,7 @@ let logs () = List.sort String.compare !logs
 type event = string
 type events = event Sel.Event.t list
 
-[%% if coq = "8.18" || coq = "8.19"]
+[%% if coq = "8.18" || coq = "8.19"  || coq = "8.20"]
 let feedback_add_feeder_on_Message f =
   Feedback.add_feeder (fun fb ->
     match fb.Feedback.contents with