From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 4 Sep 2006 13:43:17 +0000 (+0000)
Subject: the in clause of the match costruction was wrongly output
X-Git-Tag: 0.4.95@7852~1086
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=40357cd58a307adfe9aa5584d4840bf665e8bcd4;p=helm.git

the in clause of the match costruction was wrongly output
---

diff --git a/components/acic_content/cicNotationPp.ml b/components/acic_content/cicNotationPp.ml
index ff0a09265..cdc0946e6 100644
--- a/components/acic_content/cicNotationPp.ml
+++ b/components/acic_content/cicNotationPp.ml
@@ -99,7 +99,6 @@ let rec pp_term ?(pp_parens = true) t =
     | Ast.Case (term, indtype, typ, patterns) ->
         sprintf "match %s%s%s with %s"
           (pp_term term)
-	  (match typ with None -> "" | Some t -> sprintf " return %s" (pp_term t))          
           (match indtype with
           | None -> ""
           | Some (ty, href_opt) ->
@@ -107,7 +106,8 @@ let rec pp_term ?(pp_parens = true) t =
               (match debug_printing, href_opt with
               | true, Some uri ->
                   sprintf "(i.e.%s)" (UriManager.string_of_uri uri)
-              | _ -> ""))
+              | _ -> ""))	  
+	  (match typ with None -> "" | Some t -> sprintf " return %s" (pp_term t))          
           (pp_patterns patterns)
     | Ast.Cast (t1, t2) -> sprintf "(%s: %s)" (pp_term ~pp_parens:true t1) (pp_term ~pp_parens:true t2)
     | Ast.LetIn (var, t1, t2) ->