diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-04-03 13:59:38 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-04-03 13:59:38 +0000 |
| commit | a51ea25db19368b0aeb6286335362add23ab621b (patch) | |
| tree | 291a7d72d183b0d2a459cb26203db4257e7efc09 /tools/ocamlcp.ml | |
| parent | 6e7e33548231a8adedc5dea20e341e10bd17ede1 (diff) | |
-stypes -> -dtypes; meilleur mode emacs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/ocamlcp.ml')
| -rw-r--r-- | tools/ocamlcp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index ebb1a142d..321cfa635 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -52,6 +52,7 @@ module Options = Main_args.Make_options (struct let _custom = option "-custom" let _dllib = option_with_arg "-dllib" let _dllpath = option_with_arg "-dllpath" + let _dtypes = option "-dtypes" let _g = option "-g" let _i = option "-i" let _I s = option_with_arg "-I" s @@ -71,7 +72,6 @@ module Options = Main_args.Make_options (struct let _pp s = incompatible "-pp" let _principal = option "-principal" let _rectypes = option "-rectypes" - let _stypes = option "-stypes" let _thread () = ismultithreaded := "-thread"; option "-thread" () let _unsafe = option "-unsafe" let _use_prims s = option_with_arg "-use-prims" s |