1 files changed, 1 insertions, 1 deletions

diff --git a/lib/pp.ml b/lib/pp.ml
index 5d7c71635e..8687878646 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -44,7 +44,7 @@ end
 
 module Tag :
 sig
-  type t
+  type t 
   type 'a key
   val create : string -> 'a key
   val inj : 'a -> 'a key -> t