From 634d7df44ef5d308a667cb3244e0eb0b9a8ff78e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 5 Aug 2004 13:22:00 +0000 Subject: [PATCH] fixed some invalid backslash escapes --- helm/ocaml/cic_transformations/ast2pres.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml index 9fc2533ae..12d5ca1e8 100644 --- a/helm/ocaml/cic_transformations/ast2pres.ml +++ b/helm/ocaml/cic_transformations/ast2pres.ml @@ -153,14 +153,14 @@ and bigast2box ?(priority = 0) ?(assoc = false) ?(attr = []) = Box.smallskip; make_pattern constr vars; Box.smallskip; - Box.Text([],"\Rightarrow")]); + Box.Text([],"\\Rightarrow")]); Box.indent (bigast2box rhs)]) else Box.H([],[Box.Text([],sep); Box.smallskip; make_pattern constr vars; Box.smallskip; - Box.Text([],"\Rightarrow"); + Box.Text([],"\\Rightarrow"); Box.smallskip; Box.Object([],rhs)]) in let plbox = match pl with @@ -305,7 +305,7 @@ and make_subst start_txt varname body end_txt = [Box.Text([],start_txt); Box.Text([],varname); Box.smallskip; - Box.Text([],"\Assign") + Box.Text([],"\\Assign") ] body [Box.Text([],end_txt)] -- 2.39.2