fixed some invalid backslash escapes

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index 9fc2533aefecf84b405d2c99d76c820e7865ad14..12d5ca1e8e0954ee9964eefeb0921dd74c00960f 100644 (file)
--- 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)]