diff options
| author | letouzey | 2002-03-15 13:46:16 +0000 |
|---|---|---|
| committer | letouzey | 2002-03-15 13:46:16 +0000 |
| commit | 96d6adbb23386182411a19762463e191eef69c4a (patch) | |
| tree | dcdaeaded85c83b0a9e34bda9d28bb92cde490b3 | |
| parent | c8dc9509656d2ef96a1f941e6011a3e5f355d65c (diff) | |
evite les clash avec le type ocaml unit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2534 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | contrib/extraction/ocaml.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index 4bd05b03f6..e785499b4b 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -114,7 +114,7 @@ let keywords = "module"; "mutable"; "new"; "object"; "of"; "open"; "or"; "parser"; "private"; "rec"; "sig"; "struct"; "then"; "to"; "true"; "try"; "type"; "val"; "virtual"; "when"; "while"; "with"; "mod"; - "land"; "lor"; "lxor"; "lsl"; "lsr"; "asr" ; "prop" ; "arity" ] + "land"; "lor"; "lxor"; "lsl"; "lsr"; "asr" ; "unit" ; "prop" ; "arity" ] Idset.empty let preamble _ used_modules used_prop = |