]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushParser.hh
Added some controls to handle the case in which the user type an unexpected '{'
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.hh
index 143e8fad13acc2646228726269a7ac2d2e399720..e852bc6072e189a5e995c3346683fac04f0437ad 100644 (file)
@@ -52,7 +52,7 @@ private:
   void gdelete_prev_macro(void);
   void gdelete_prev(void);
   
-  void rgreplace_futher(void);
+  void rgreplace_father(void);
 
   void do_gdelete_script(void);
   void do_gdelete_macro(void);