From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 23 Dec 2007 23:00:12 +0000 (+0000)
Subject: One character of improvement
X-Git-Url: http://git.hcoop.net/bpt/portal.git/commitdiff_plain/23d8162948f0045279bb8868a8fe6c0c28062b00

One character of improvement
---

diff --git a/quota.sml b/quota.sml
index 08a84d0..810efca 100644
--- a/quota.sml
+++ b/quota.sml
@@ -6,7 +6,7 @@ structure Quota = Request(struct
 			  val descr = "Quota request"
 				      
 			  fun body (mail, data) =
-			      (Mail.mwrite (mail, " Request: ");
+			      (Mail.mwrite (mail, "Request: ");
 			       Mail.mwrite (mail, data);
 			       Mail.mwrite (mail, "\n"))
 			  end)