From 091824ae0f9bffcdee757bbd048e8a0f63cc5054 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 12 Mar 2013 20:59:37 +0000
Subject: Updated Exninfo to the new Store type.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16268 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/printers.mllib | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 7db5b5cb99..73bda713a6 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -1,8 +1,10 @@
 Coq_config
 
+Int
+Option
+Store
 Exninfo
 Backtrace
-Int
 Pp_control
 Loc
 Compat
@@ -24,7 +26,6 @@ Dyn
 CUnix
 System
 Envars
-Store
 Gmap
 Fset
 Fmap
@@ -34,7 +35,6 @@ Explore
 Predicate
 Rtree
 Heap
-Option
 Dnet
 
 Names
-- 
cgit v1.2.3