From 1f48036e862f6ffc8588654e8f390d5921e3d7c4 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 28 Jan 2012 03:05:50 +0400 Subject: [PATCH] Squash a space --- keystoml.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/keystoml.ml b/keystoml.ml index 2fe0b3c..a89c8d6 100644 --- a/keystoml.ml +++ b/keystoml.ml @@ -19,8 +19,8 @@ let tabify s = else let b = Buffer.create 80 in Buffer.add_substring b s 0 (nonwspos+1); - Buffer.add_string b "\t"; - Buffer.add_substring b s dashpos (String.length s - dashpos); + Buffer.add_char b '\t'; + Buffer.add_substring b s (dashpos+1) (String.length s - dashpos - 1); Buffer.contents b ;; -- 2.11.4.GIT