From b2837b13dcc9a154440af561e7a4dc78af215bac Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 4 Feb 2013 20:27:04 +0000
Subject: [PATCH] Bug fixed in pretty printing of mutual inductive types.

---
 matita/components/ng_extraction/ocaml.ml | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/matita/components/ng_extraction/ocaml.ml b/matita/components/ng_extraction/ocaml.ml
index 001845e35..2ef1afaa0 100644
--- a/matita/components/ng_extraction/ocaml.ml
+++ b/matita/components/ng_extraction/ocaml.ml
@@ -560,15 +560,16 @@ let pp_ind status co ind =
           status, pp_logical_ind p ++ res
 	else
 	  let s = !init in
-          let status,res =
-	    pp_one_ind
-	      status prefix p.ip_vars names.(i) cnames.(i) p.ip_types in
-          let status,res2 = pp status (i+1) in
 	  begin
 	    init := (fnl () ++ str "and ");
-            status,
-	    s ++
-	    (if co then pp_coind p.ip_vars names.(i) else mt ()) ++ res ++ res2
+            let status,res =
+	      pp_one_ind
+	        status prefix p.ip_vars names.(i) cnames.(i) p.ip_types in
+            let status,res2 = pp status (i+1) in
+              status,
+	      s ++
+	      (if co then pp_coind p.ip_vars names.(i) else mt ()) ++
+              res ++ res2
 	  end
       end
   in
-- 
2.39.2