From 54d7cbad02005212c4171b7d652416c75a93aa37 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 19 Oct 2008 12:47:10 -0400
Subject: Proper configuration and installation

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

(limited to 'src/main.mlton.sml')

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 142296e4..94d0f2ac 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -46,7 +46,7 @@ val (timing, sources) = doArgs (CommandLine.arguments (), (false, []))
 val job =
     case sources of
         [file] => file
-      | _ => raise Fail "Multiple job files specified"
+      | _ => raise Fail "Zero or multiple job files specified"
 
 val () =
     if timing then
-- 
cgit v1.2.3