petit bug dans les noms de fichiers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2662 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

diff --git a/contrib/extraction/extract_env.ml b/contrib/extraction/extract_env.ml
index 3ff34c8b8..ecfd5e2ea 100644
--- a/contrib/extraction/extract_env.ml
+++ b/contrib/extraction/extract_env.ml
@@ -281,15 +281,15 @@ let _ =
     We just call [extract_to_file] on the saturated environment. *)
 
 let lang_suffix () = match lang () with 
-  | Ocaml -> "ml"
-  | Haskell -> "hs"
+  | Ocaml -> ".ml"
+  | Haskell -> ".hs"
   | Toplevel -> assert false
 
 let filename f = 
   let s = lang_suffix () in 
   if Filename.check_suffix f s then 
     Some f,id_of_string (Filename.chop_suffix f s) 
-  else Some (f^"."^s),id_of_string f
+  else Some (f^s),id_of_string f
 
 let lang_error () = 
   errorlabstrm "extraction_language"