diff options
| author | Jason Gross | 2015-06-23 10:08:58 +0200 |
|---|---|---|
| committer | Jason Gross | 2016-06-05 21:48:20 -0400 |
| commit | 45748e4efae8630cc13b0199dfcc9803341e8cd8 (patch) | |
| tree | a30fb01ad4cea555dfd04c22451c06b2e2b2e4bb /lib | |
| parent | 45ee3d6b2aae4491e26551f23461ecf8ad37bd87 (diff) | |
Strip some trailing spaces
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/pp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |