[coqchk] Change list to set

1 files changed, 2 insertions, 1 deletions

diff --git a/checker/check_stat.ml b/checker/check_stat.ml
index ee7170df48..a9136a225d 100644
--- a/checker/check_stat.ml
+++ b/checker/check_stat.ml
@@ -39,7 +39,8 @@ let pr_assumptions ass axs =
     hv 2 (str ass ++ str ":" ++ fnl() ++ prlist_with_sep fnl str axs)
 
 let pr_axioms env =
-  let csts = fold_constants (fun c cb acc -> if not (Declareops.constant_has_body cb) then Constant.to_string c :: acc else acc) env [] in
+  let csts = fold_constants (fun c cb acc -> if not (Declareops.constant_has_body cb) then Cset.add c acc else acc) env Cset.empty in
+  let csts = Cset.fold (fun c acc -> Constant.to_string c :: acc) csts [] in
   pr_assumptions "Axioms" csts
 
 let pr_type_in_type env =