summaryrefslogtreecommitdiff
path: root/driver.fun
diff options
context:
space:
mode:
Diffstat (limited to 'driver.fun')
-rw-r--r--driver.fun4
1 files changed, 2 insertions, 2 deletions
diff --git a/driver.fun b/driver.fun
index ff99091..ac9f950 100644
--- a/driver.fun
+++ b/driver.fun
@@ -21,7 +21,7 @@ functor Driver(P: PARSER): DRIVER = struct
val die = fn z => die 1 z
- fun finish ({ file = NONE, ... }: config) = die `"missing input file" %
+ fun finish ({ file = NONE, ... }: config) = die `"No file specified" %
| finish conf = updateC conf u#includeDirs rev %
fun parseFlag conf "-dE" tail =
@@ -52,7 +52,7 @@ functor Driver(P: PARSER): DRIVER = struct
case (#mode config) of
Normal =>
let
- val parseCtx = P.createParseCtx file (#includeDirs config)
+ val parseCtx = P.createCtx file (#includeDirs config)
fun collect ctx =
let