From a643f402e079080e9557d996bfa871b89be2068b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 24 Apr 2002 18:49:04 +0000
Subject: 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
---
 contrib/extraction/extract_env.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/contrib/extraction/extract_env.ml b/contrib/extraction/extract_env.ml
index 3ff34c8b8c..ecfd5e2ea8 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"
-- 
cgit v1.2.3