From 23d8162948f0045279bb8868a8fe6c0c28062b00 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 23 Dec 2007 23:00:12 +0000 Subject: [PATCH] One character of improvement --- quota.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.20.1