X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fsymbol.cpp;h=4f05c6e6957ebf85866a06234242d2023c92515a;hp=7dd1c5228107dc22c5a30f8309cfd940d2cc505d;hb=5b61a513b51d5cb316616a5ab43ed09b842ab570;hpb=6de869e3c497de0a136c2905b2dcc248d1e7b7fb

diff --git a/ginac/symbol.cpp b/ginac/symbol.cpp
index 7dd1c522..4f05c6e6 100644
--- a/ginac/symbol.cpp
+++ b/ginac/symbol.cpp
@@ -92,7 +92,7 @@ void symbol::destroy(bool call_parent)
 
 // public
 
-symbol::symbol(const string & initname) : inherited(TINFO_symbol)
+symbol::symbol(const std::string & initname) : inherited(TINFO_symbol)
 {
     debugmsg("symbol constructor from string", LOGLEVEL_CONSTRUCT);
     name = initname;
@@ -164,7 +164,7 @@ void symbol::printraw(ostream & os) const
 void symbol::printtree(ostream & os, unsigned indent) const
 {
     debugmsg("symbol printtree",LOGLEVEL_PRINT);
-    os << string(indent,' ') << name << " (symbol): "
+    os << std::string(indent,' ') << name << " (symbol): "
        << "serial=" << serial
        << ", hash=" << hashvalue << " (0x" << hex << hashvalue << dec << ")"
        << ", flags=" << flags << endl;
@@ -335,9 +335,9 @@ void symbol::unassign(void)
 
 // private
 
-string & symbol::autoname_prefix(void)
+std::string & symbol::autoname_prefix(void)
 {
-    static string * s=new string("symbol");
+    static std::string * s=new std::string("symbol");
     return *s;
 }