]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/LPushLexer.cc
C++ 3.2 aware changes
[helm.git] / helm / DEVEL / mathml_editor / src / LPushLexer.cc
index 74cda410aa5abc77738684c2304fb9a8762f6f14..8a22d6678bad9c13ae1c7cda52b2c73d18adfb3b 100644 (file)
@@ -24,6 +24,7 @@
  */
 
 #include <string>
+#include <cctype>
 
 #include "ALogger.hh"
 #include "TToken.hh"