From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Mar 2004 17:48:50 +0000 (+0000)
Subject: Branch of MutCase must be parsed and printed using \Rightarrow.
X-Git-Tag: v0_0_4~38
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a116385a421555776ac3e31616dc6567b2557992;p=helm.git

Branch of MutCase must be parsed and printed using \Rightarrow.
---

diff --git a/helm/ocaml/cic_transformations/cicAstPp.ml b/helm/ocaml/cic_transformations/cicAstPp.ml
index a854234b7..2cc83e743 100644
--- a/helm/ocaml/cic_transformations/cicAstPp.ml
+++ b/helm/ocaml/cic_transformations/cicAstPp.ml
@@ -82,7 +82,7 @@ and pp_subst (name, term) = sprintf "%s \\Assign %s" name (pp_term term)
 and pp_substs substs = String.concat "; " (List.map pp_subst substs)
 
 and pp_pattern ((head, vars), term) =
-  sprintf "%s -> %s"
+  sprintf "%s \Rightarrow %s"
     (match vars with
     | [] -> head
     | _ ->