From bafb198e539998a4a64b2045a7e85125890f196e Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Thu, 8 Nov 2012 17:11:32 +0000
Subject: Added an Int module with dummy utility functions.

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

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 6f34dbb094..f0221a9c51 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -1,5 +1,6 @@
 Coq_config
 
+Int
 Pp_control
 Loc
 Compat
@@ -107,6 +108,7 @@ Pretyping
 Declaremods
 
 Tok
+Int
 Lexer
 Ppextend
 Pputils
-- 
cgit v1.2.3