]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TTokenizer.cc
Added the completion of the macro's name.
[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.cc
index 4b0974a811a5e8d7e3cfb0ec4c2fd67d3338c817..143faa80fd0444d8c04245adb838dacbb0389219 100644 (file)
@@ -30,7 +30,7 @@
 
 std::vector<TToken>
 TTokenizer::tokenize(const std::string& s)
-{
+{  
   TPushLexer lexer(logger, *this);
 
   tokens.clear();