diff options
author | 2005-12-01 14:35:21 +0000 | |
---|---|---|
committer | 2005-12-01 14:35:21 +0000 | |
commit | 825a338a1ddf1685d55bb5193aa5da078a534e1c (patch) | |
tree | 308c4348d9446474d5bef3ab93fa713e94033d31 /contrib/extraction/ocaml.ml | |
parent | 596f0f2b5ab76305447ed1ef3999fd7d9939fbef (diff) |
amelioration de la generation des unsafeCoerce
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7632 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/extraction/ocaml.ml')
-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 575f199eb..088e66622 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -130,7 +130,7 @@ let keywords = "land"; "lor"; "lxor"; "lsl"; "lsr"; "asr" ; "unit" ; "_" ; "__" ] Idset.empty -let preamble _ used_modules (mldummy,tdummy,tunknown) = +let preamble _ used_modules (mldummy,tdummy,tunknown) _ = let pp_mp = function | MPfile d -> pr_upper_id (List.hd (repr_dirpath d)) | _ -> assert false |