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