From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Aug 2004 13:22:00 +0000 (+0000)
Subject: fixed some invalid backslash escapes
X-Git-Tag: V_0_6_3_2~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=634d7df44ef5d308a667cb3244e0eb0b9a8ff78e;p=helm.git

fixed some invalid backslash escapes
---

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)]