From a116385a421555776ac3e31616dc6567b2557992 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 5 Mar 2004 17:48:50 +0000 Subject: [PATCH] Branch of MutCase must be parsed and printed using \Rightarrow. --- helm/ocaml/cic_transformations/cicAstPp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 | _ -> -- 2.39.2