Add missing print registration for wit_nat_or_var

coq · Nov 29, 2020 · 54c1203 · 54c1203
1 parent 9992bb1
commit 54c1203
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/plugins/ltac/pptactic.ml b/plugins/ltac/pptactic.ml
@@ -1317,6 +1317,7 @@ let () =
   let pr_unit _ = str "()" in
   let open Genprint in
   register_basic_print0 wit_int_or_var (pr_or_var int) (pr_or_var int) int;
+  register_basic_print0 wit_nat_or_var (pr_or_var int) (pr_or_var int) int;
   register_basic_print0 wit_ref
     pr_qualid (pr_or_var (pr_located pr_global)) pr_global;
   register_basic_print0 wit_smart_global