From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 15 Jan 2003 11:28:09 +0000 (+0000)
Subject: bugfix: added "std" namespace where needed
X-Git-Tag: v0_3_99~35
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f276f3ea360211c9412f9982669e1eb7ad00e89b;p=helm.git

bugfix: added "std" namespace where needed
---

diff --git a/helm/DEVEL/gdome_xslt/C++/test/main.cc b/helm/DEVEL/gdome_xslt/C++/test/main.cc
index 9c9625fdd..f7225e93d 100644
--- a/helm/DEVEL/gdome_xslt/C++/test/main.cc
+++ b/helm/DEVEL/gdome_xslt/C++/test/main.cc
@@ -35,9 +35,9 @@ 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");
@@ -46,7 +46,7 @@ main(void)
    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;
 }