1 files changed, 1 insertions, 1 deletions
diff --git a/driver/main.ml b/driver/main.ml
index 869bea768..83afaa4d6 100644
--- a/driver/main.ml
+++ b/driver/main.ml
@@ -49,7 +49,7 @@ let main () =
        "-o", Arg.String(fun s -> exec_name := s; archive_name := s);
        "-i", Arg.Set print_types;
        "-a", Arg.Set make_archive;
-       "-pp", Arg.String(fun s -> Compile.pproc := Some s);
+       "-pp", Arg.String(fun s -> preprocessor := Some s);
        "-unsafe", Arg.Set fast;
        "-nopervasives", Arg.Set nopervasives;
        "-custom", Arg.Set custom_runtime;