]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc
ocaml 3.09 transition
[helm.git] / helm / DEVEL / gdome_xslt / C++ / gdome_xslt / GdomeSmartDOMXSLTStylesheet.cc
index 9030c0db904f856060ff8769992b3c6150d032f7..330f8724e15e1c6b861dd3104a1c406b0d934061 100644 (file)
@@ -23,6 +23,7 @@
 #include "config.h"
 
 #include <string>
+#include <cassert>
 
 #include <stdio.h>
 #include <GdomeSmartDOM.hh>