diff src/pt-cmd.h @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents daa1ed1f5462
children bf6116ca10eb
line wrap: on
line diff
--- a/src/pt-cmd.h
+++ b/src/pt-cmd.h
@@ -63,7 +63,7 @@
 {
 public:
 
-  tree_no_op_command (const string& cmd = "no_op", int l = -1, int c = -1)
+  tree_no_op_command (const std::string& cmd = "no_op", int l = -1, int c = -1)
     : tree_command (l, c), orig_cmd (cmd) { }
 
   ~tree_no_op_command (void) { }
@@ -72,11 +72,11 @@
 
   void accept (tree_walker& tw);
 
-  string original_command (void) { return orig_cmd; }
+  std::string original_command (void) { return orig_cmd; }
 
 private:
 
-  string orig_cmd;
+  std::string orig_cmd;
 
   // No copying!