From 8c2e9c25bab0118a71fe27bbe539ac6464effde2 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 23 Apr 2015 11:56:13 +0200
Subject: Update clightgen to the new annotations and the new inline asm.

---
 exportclight/Clightgen.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'exportclight/Clightgen.ml')

diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml
index c1009b4f..a1dba2d9 100644
--- a/exportclight/Clightgen.ml
+++ b/exportclight/Clightgen.ml
@@ -112,7 +112,7 @@ let parse_c_file sourcename ifile =
   in
   (* Parsing and production of a simplified C AST *)
   let ast =
-    match Parse.preprocessed_file simplifs sourcename ifile with
+    match fst (Parse.preprocessed_file simplifs sourcename ifile) with
     | None -> exit 2
     | Some p -> p in
   (* Save C AST if requested *)
-- 
cgit