diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:27:47 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:27:47 +0000 |
| commit | 0a8236066f945c6026337dd4ea9342a9034f7987 (patch) | |
| tree | fb63dbda5f249cabf8dea58695131d2e1bf31807 /tools/ocamlcp.ml | |
| parent | 4b70ed64c47bb1a179f0cd58a5d78d1733c5dd54 (diff) | |
| download | ocaml-0a8236066f945c6026337dd4ea9342a9034f7987.tar.gz | |
vive les methodes polymorphes!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/ocamlcp.ml')
| -rw-r--r-- | tools/ocamlcp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index 95838365d2..baad2256f1 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -58,6 +58,7 @@ module Options = Main_args.Make_options (struct let _output_obj = option "-output-obj" let _pack = option "-pack" let _pp s = incompatible "-pp" + let _principal = option "-principal" let _rectypes = option "-rectypes" let _thread () = ismultithreaded := "-thread"; option "-thread" () let _unsafe = option "-unsafe" |