From 45de05d0ea9740f14c58dfd67436ddbea03c6a49 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 13 Jun 2016 23:50:04 +0200
Subject: Revert "Strip some trailing spaces"

This reverts commit 45748e4efae8630cc13b0199dfcc9803341e8cd8.
---
 lib/pp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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
-- 
cgit v1.2.3