diff src/token.cc @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents c41e4dca98b9
children 096ad38d7ab5
line wrap: on
line diff
--- a/src/token.cc
+++ b/src/token.cc
@@ -43,15 +43,15 @@
   type_tag = generic_token;
 }
 
-token::token (const string& s, int l, int c)
+token::token (const std::string& s, int l, int c)
 {
   line_num = l;
   column_num = c;
   type_tag = string_token;
-  str = new string (s);
+  str = new std::string (s);
 }
 
-token::token (double d, const string& s, int l, int c)
+token::token (double d, const std::string& s, int l, int c)
 {
   line_num = l;
   column_num = c;