diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml index 3728749..df7f4bf 100644 --- a/src/lib/uTop_main.ml +++ b/src/lib/uTop_main.ml @@ -869,5 +869,6 @@ let main () = exit 2 (* Local variables: *) -(* utop-package-list: ("camlp4" "camomile" "lwt" "lwt.react" "lwt.syntax" "lambda-term" "zed") *) +(* utop-package-list: ("camomile" "lwt" "lwt.react" "lwt.syntax" "lambda-term" "zed") *) +(* utop-ocaml-preprocessor: "camlp4o" *) (* End: *)