diff options
Diffstat (limited to 'driver.fun')
-rw-r--r-- | driver.fun | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |