From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 19 Jun 2003 15:27:46 +0000 (+0000)
Subject: #include <cassert> patch
X-Git-Tag: V7_3_new_exportation_merged~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=3c4da11f870a6cf69860dbbbf22324733c3ccf44

#include <cassert> patch
---

diff --git a/helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc b/helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc
index 9030c0db9..330f8724e 100644
--- a/helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc
+++ b/helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc
@@ -23,6 +23,7 @@
 #include "config.h"
 
 #include <string>
+#include <cassert>
 
 #include <stdio.h>
 #include <GdomeSmartDOM.hh>