From 17ffca0b16e45aa093a9c1d55b0e629a4cf26798 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 1 Jan 2009 15:59:02 -0500
Subject: Injecting a float

---
 src/errormsg.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/errormsg.sml')

diff --git a/src/errormsg.sml b/src/errormsg.sml
index e816b9a2..f402c5aa 100644
--- a/src/errormsg.sml
+++ b/src/errormsg.sml
@@ -95,7 +95,7 @@ fun error s = (TextIO.output (TextIO.stdErr, s);
                TextIO.output1 (TextIO.stdErr, #"\n");
                errors := true)
 fun errorAt span s = (TextIO.output (TextIO.stdErr, spanToString span);
-                      TextIO.output1 (TextIO.stdErr, #" ");
+                      TextIO.output (TextIO.stdErr, ": ");
                       error s)
 fun errorAt' span s = errorAt (spanOf span) s
 
-- 
cgit v1.2.3