adapt to coq/coq#19147

rocq-archive · Jun 21, 2024 · e196b6d · e196b6d
1 parent eb845aa
commit e196b6d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sertop/sertop_util.ml b/sertop/sertop_util.ml
@@ -42,7 +42,7 @@ module F = Feedback
 let feedback_content_pos_filter txt (fbc : F.feedback_content) : F.feedback_content =
   let adjust _txt loc = loc in
   match (fbc : F.feedback_content) with
-  | F.Message (lvl,loc,msg) -> F.Message (lvl, adjust txt loc, msg)
+  | F.Message (lvl,loc,qf,msg) -> F.Message (lvl, adjust txt loc, qf, msg)
   | _                       -> fbc
 
 let feedback_pos_filter text (fb : F.feedback) : F.feedback =