From d38d04876f6da28b441b49c4dfb3db3fbb2ce970 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 19 Apr 2008 07:17:36 +0000
Subject: Impression des 'for'

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

diff --git a/caml/PrintCsyntax.ml b/caml/PrintCsyntax.ml
index bc4dea6..9ea5b4b 100644
--- a/caml/PrintCsyntax.ml
+++ b/caml/PrintCsyntax.ml
@@ -291,7 +291,7 @@ and print_stmt_for p s =
                 print_expr e1
                 print_expr_list (true, el)
   | _ ->
-      fprintf p "<impossible>"
+      fprintf p "({ %a })" print_stmt s
 
 let name_function_parameters fun_name params =
   let b = Buffer.create 20 in
-- 
cgit v1.2.3