diff options
| author | ppedrot | 2013-09-03 18:18:32 +0000 |
|---|---|---|
| committer | ppedrot | 2013-09-03 18:18:32 +0000 |
| commit | dd3d3a25ccc58bf06a13dc07db2fc5f88967789c (patch) | |
| tree | cb7605e4d9266d63e68de54d6b9496406e15b79f /printing/printer.ml | |
| parent | 6338174fdaf790e52062f006c52c911bc5e58cbc (diff) | |
Some cleanup in Auto
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16758 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'printing/printer.ml')
| -rw-r--r-- | printing/printer.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/printing/printer.ml b/printing/printer.ml index 05037a150f..fa9bfab992 100644 --- a/printing/printer.ml +++ b/printing/printer.ml @@ -690,8 +690,6 @@ let pr_assumptionset env s = ] in prlist_with_sep fnl (fun x -> x) (Option.List.flatten assums) -let cmap_to_list m = Cmap.fold (fun k v acc -> v :: acc) m [] - open Typeclasses let pr_instance i = |