]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TTokenizer.cc
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.cc
index 4b0974a811a5e8d7e3cfb0ec4c2fd67d3338c817..14eeaadb009557541cb86e0c849d46840d6919e6 100644 (file)
  */
 
 #include <algorithm>
+#include <cassert>
 
 #include "TTokenizer.hh"
 #include "TPushLexer.hh"
 
 std::vector<TToken>
 TTokenizer::tokenize(const std::string& s)
-{
+{  
   TPushLexer lexer(logger, *this);
 
   tokens.clear();