diff options
| -rw-r--r-- | checker/check_stat.ml | 3 |
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 = |