From 45748e4efae8630cc13b0199dfcc9803341e8cd8 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 23 Jun 2015 10:08:58 +0200
Subject: Strip some trailing spaces

---
 lib/pp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/pp.ml')

diff --git a/lib/pp.ml b/lib/pp.ml
index d07f01b906..99c774e8d4 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