From 802d3e6be16bdaa224c4f272adc4497d066bee1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Tue, 19 Sep 2023 13:36:04 +0200
Subject: [PATCH] Adapt to coq/coq#17836 (sort poly)

---
 src/TacticsUtil.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TacticsUtil.v b/src/TacticsUtil.v
index e5c7a6b5d..27258fd83 100644
--- a/src/TacticsUtil.v
+++ b/src/TacticsUtil.v
@@ -54,7 +54,7 @@ Ltac2 print_kind (p : constr) :=
   | Constr.Unsafe.Case _ _ _ _ _ => print_string "Case"
   | Constr.Unsafe.Fix _ _ _ _ => print_string "fix"
   | Constr.Unsafe.CoFix _ _ _ => print_string "Cofix"
-  | Constr.Unsafe.Proj _ _ => print_string "Proj"
+  | Constr.Unsafe.Proj _ _ _ => print_string "Proj"
   | Constr.Unsafe.Uint63 _ => print_string "Uint63"
   | Constr.Unsafe.Float _ => print_string "Float"
   | Constr.Unsafe.Array _ _ _ _ =>print_string "Array"