diff options
Diffstat (limited to 'driver/compenv.ml')
| -rw-r--r-- | driver/compenv.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml index c328e9c4e9..5990a65647 100644 --- a/driver/compenv.ml +++ b/driver/compenv.ml @@ -161,6 +161,7 @@ let read_OCAMLPARAM ppf position = | "verbose" -> set "verbose" [ verbose ] v | "nopervasives" -> set "nopervasives" [ nopervasives ] v | "slash" -> set "slash" [ force_slash ] v (* for ocamldep *) + | "keep-locs" -> set "keep-locs" [ Clflags.keep_locs ] v | "compact" -> clear "compact" [ optimize_for_speed ] v | "no-app-funct" -> clear "no-app-funct" [ applicative_functors ] v |