From 9a0c61b81a2d9c0024b20a6c7ad8af01026739b0 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 14 Dec 2012 10:56:41 +0000
Subject: Moved Intset and Intmap to Int namespace.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16067 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/top_printers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index 20e0fff559..89c2179d2c 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -60,7 +60,7 @@ let ppfconstr c = ppconstr (Closure.term_of_fconstr c)
 let ppbigint n = pp (str (Bigint.to_string n));;
 
 let prset pr l = str "[" ++ hov 0 (prlist_with_sep spc pr l) ++ str "]"
-let ppintset l = pp (prset int (Intset.elements l))
+let ppintset l = pp (prset int (Int.Set.elements l))
 let ppidset l = pp (prset pr_id (Idset.elements l))
 
 let prset' pr l = str "[" ++ hov 0 (prlist_with_sep pr_comma pr l) ++ str "]"
-- 
cgit v1.2.3