From 5f61d89783b4b3a85203025853c7f558a4aee7a7 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 28 Jul 2012 01:19:20 +0000
Subject: Forgot to collect types of expressions

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1984 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/PrintClight.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'cfrontend/PrintClight.ml')

diff --git a/cfrontend/PrintClight.ml b/cfrontend/PrintClight.ml
index feb07fa1..ced5717e 100644
--- a/cfrontend/PrintClight.ml
+++ b/cfrontend/PrintClight.ml
@@ -252,7 +252,9 @@ let print_fundef p (id, fd) =
 
 (* Collect struct and union types *)
 
-let rec collect_expr = function
+let rec collect_expr e =
+  collect_type (typeof e);
+  match e with
   | Econst_int _ -> ()
   | Econst_float _ -> ()
   | Evar _ -> ()
-- 
cgit