]> matita.cs.unibo.it Git - helm.git/commitdiff
#include <cassert> patch
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 Jun 2003 15:27:46 +0000 (15:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 Jun 2003 15:27:46 +0000 (15:27 +0000)
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>