X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2FC%2B%2B%2Ftest%2Fmain.cc;h=0f5aa2d70f27c36d4dda7af36720e09bc66a10bb;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9c9625fdda0aa177dea079cfdce7c43f9cc14779;hpb=e88c76edd1af32fc8108a120801a458e69d90c35;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/C++/test/main.cc b/helm/DEVEL/gdome_xslt/C++/test/main.cc
index 9c9625fdd..0f5aa2d70 100644
--- a/helm/DEVEL/gdome_xslt/C++/test/main.cc
+++ b/helm/DEVEL/gdome_xslt/C++/test/main.cc
@@ -24,6 +24,7 @@
 #include "GdomeSmartDOMXSLT.hh"
 
 namespace DOM = GdomeSmartDOM;
+namespace DOMX = GdomeSmartDOMExt;
 
 #define	OUTPUT_FILE		"../../test_files/output.xml"
 #define CORRECT_OUTPUT_FILE	"../../test_files/output.xml.correct"
@@ -35,18 +36,18 @@ main(void)
    DOM::DOMImplementation di;
    std::vector< std::pair<DOM::GdomeString, DOM::GdomeString> > params;
 
-   params.push_back(make_pair(DOM::GdomeString("parameter1"), DOM::GdomeString("'value1'")));
-   params.push_back(make_pair(DOM::GdomeString("parameter2"), DOM::GdomeString("'value2'")));
-   params.push_back(make_pair(DOM::GdomeString("parameter3"), DOM::GdomeString("'value3'")));
+   params.push_back(std::make_pair(DOM::GdomeString("parameter1"), DOM::GdomeString("'value1'")));
+   params.push_back(std::make_pair(DOM::GdomeString("parameter2"), DOM::GdomeString("'value2'")));
+   params.push_back(std::make_pair(DOM::GdomeString("parameter3"), DOM::GdomeString("'value3'")));
 
    DOM::Document input = di.createDocumentFromURI("../../test_files/input.xml");
    DOM::Document style = di.createDocumentFromURI("../../test_files/stylesheet.xsl");
 
-   DOM::XSLTStylesheet style_libxslt(style);
+   DOMX::XSLTStylesheet style_libxslt(style);
    DOM::Document output = style_libxslt.apply(input, params);
    style_libxslt.save(output, OUTPUT_FILE);
 
-   cout << "The test was successful iff " << OUTPUT_FILE << " is equal to " << CORRECT_OUTPUT_FILE << endl;
+   std::cout << "The test was successful iff " << OUTPUT_FILE << " is equal to " << CORRECT_OUTPUT_FILE << std::endl;
 
    return 0;
 }