diff src/pt-exp.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 f9ea3dcf58ee
line wrap: on
line diff
--- a/src/pt-exp.h
+++ b/src/pt-exp.h
@@ -91,13 +91,13 @@
   bool print_result (void) const
     { return print_flag; }
 
-  virtual string oper (void) const
+  virtual std::string oper (void) const
     { return "<unknown>"; }
 
-  virtual string name (void) const
+  virtual std::string name (void) const
     { return "<unknown>"; }
 
-  virtual string original_text (void) const;
+  virtual std::string original_text (void) const;
 
   tree_expression *mark_in_parens (void)
     {