One character of improvement
authorAdam Chlipala <adamc@hcoop.net>
Sun, 23 Dec 2007 23:00:12 +0000 (23:00 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 23 Dec 2007 23:00:12 +0000 (23:00 +0000)
quota.sml

index 08a84d0..810efca 100644 (file)
--- 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)