From e89f1e606bc8c9c425628392adc9c69cec666b5e Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 22 Dec 2014 19:34:45 +0100
Subject: Represent struct and union types by name instead of by structure.

---
 driver/Driver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index fec87420..f2a98f81 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -108,7 +108,7 @@ let parse_c_file sourcename ifile =
   end;
   (* Conversion to Csyntax *)
   let csyntax =
-    match C2C.convertProgram ast with
+    match Timing.time "CompCert C generation" C2C.convertProgram ast with
     | None -> exit 2
     | Some p -> p in
   flush stderr;
-- 
cgit