X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTTokenizer.cc;h=14eeaadb009557541cb86e0c849d46840d6919e6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=143faa80fd0444d8c04245adb838dacbb0389219;hpb=98e5817ce4fa424fb3181d90d327935c1b100ec4;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.cc b/helm/DEVEL/mathml_editor/src/TTokenizer.cc
index 143faa80f..14eeaadb0 100644
--- a/helm/DEVEL/mathml_editor/src/TTokenizer.cc
+++ b/helm/DEVEL/mathml_editor/src/TTokenizer.cc
@@ -24,6 +24,7 @@
  */
 
 #include <algorithm>
+#include <cassert>
 
 #include "TTokenizer.hh"
 #include "TPushLexer.hh"