]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushParser.hh
Bug fixed. In the previous version, all right open macros and all delimited arguments
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.hh
index b01524be4dcfd06b44b5c3432e1f2a968c6a1fd0..186e9087a3ab1a156fab938d4da70085d8b67f3c 100644 (file)
@@ -29,6 +29,8 @@ public:
 private:
   std::string PRIME(void) const;
   bool isPrimes(const TNode&) const;
+
+  
   
   void do_begin(void);
   void do_end(void);
@@ -64,6 +66,7 @@ private:
   void do_cr(void);
   void do_apostrophe(void);
   void advance(const TNode&);
+  bool correctBrace(void);
 
   void process(const TToken&);