Revert "Strip some trailing spaces"

This reverts commit 45748e4efae8630cc13b0199dfcc9803341e8cd8.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/pp.ml b/lib/pp.ml
index 5d7c71635..868787864 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