summaryrefslogtreecommitdiff
path: root/driver.fun
diff options
context:
space:
mode:
Diffstat (limited to 'driver.fun')
-rw-r--r--driver.fun7
1 files changed, 3 insertions, 4 deletions
diff --git a/driver.fun b/driver.fun
index 78ca877..02eadcc 100644
--- a/driver.fun
+++ b/driver.fun
@@ -1,4 +1,4 @@
-functor Driver(P: CPP): DRIVER = struct
+functor Driver(P: PPC): DRIVER = struct
structure P = P
type config = {
@@ -30,10 +30,9 @@ functor Driver(P: CPP): DRIVER = struct
fun exec () =
let
val config = parseCmdArgs initConfig (CommandLine.arguments ())
-
- val cpp = P.create (valOf $ #file config) (#includeDirs config)
+ val fname = valOf $ #file config
in
- P.debugPrint cpp
+ P.debugPrint fname (#includeDirs config)
end
end