From c26b35f57f673a9cef1994bb9da29a63dafce97c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 11 Sep 2006 16:19:46 +0000
Subject: Utiliser l'extension .light.c au lieu de .clight

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@98 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/Main2.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'caml/Main2.ml')

diff --git a/caml/Main2.ml b/caml/Main2.ml
index bac473f9..26301475 100644
--- a/caml/Main2.ml
+++ b/caml/Main2.ml
@@ -85,7 +85,7 @@ let process_c_file sourcename =
         exit 2 in
   (* Save Csyntax if requested *)
   if !save_csyntax then begin
-    let oc = open_out (targetname ^ ".clight") in
+    let oc = open_out (targetname ^ ".light.c") in
     PrintCsyntax.print_program (Format.formatter_of_out_channel oc) csyntax;
     close_out oc
   end;
-- 
cgit