Adapt to coq/coq#17836 (sort poly)

QuickChick · Nov 8, 2023 · 802d3e6 · 802d3e6
1 parent 18282ac
commit 802d3e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"