From 790c187f338303d3b9a47cd3e08ba34d8cc75191 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 18 Aug 2010 09:10:05 +0000
Subject: Renamed C2Clight into C2C

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1468 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 driver/Driver.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 8afe03c6..4f98be21 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -84,7 +84,7 @@ let compile_c_file sourcename ifile ofile =
   end;
   (* Conversion to Csyntax *)
   let csyntax =
-    match C2Clight.convertProgram ast with
+    match C2C.convertProgram ast with
     | None -> exit 2
     | Some p -> p in
   flush stderr;
@@ -346,7 +346,7 @@ let cmdline_actions =
 
 let _ =
   Cparser.Machine.config := Cparser.Machine.ilp32ll64;
-  Cparser.Builtins.set C2Clight.builtins;
+  Cparser.Builtins.set C2C.builtins;
   CPragmas.initialize();
   parse_cmdline cmdline_actions usage_string;
   if !linker_options <> [] 
-- 
cgit