From fff80866a5a61d8d53e34a1afdbe6475dc6ea5d9 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sat, 11 Apr 2020 15:14:15 +0200
Subject: [coqchk] Change list to set

---
 checker/check_stat.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 =
-- 
cgit v1.2.3