From dd3d3a25ccc58bf06a13dc07db2fc5f88967789c Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 3 Sep 2013 18:18:32 +0000
Subject: Some cleanup in Auto

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16758 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 printing/printer.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'printing/printer.ml')

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