]> 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 143faa80fd0444d8c04245adb838dacbb0389219..14eeaadb009557541cb86e0c849d46840d6919e6 100644 (file)
@@ -24,6 +24,7 @@
  */
 
 #include <algorithm>
+#include <cassert>
 
 #include "TTokenizer.hh"
 #include "TPushLexer.hh"