diff src/pt-check.cc @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents 5708b8bb4f06
children 61d4427c016e
line wrap: on
line diff
--- a/src/pt-check.cc
+++ b/src/pt-check.cc
@@ -622,7 +622,7 @@
 }
 
 void
-tree_checker::gripe (const string& msg, int line)
+tree_checker::gripe (const std::string& msg, int line)
 {
   if (curr_fcn_file_name.empty ())
     error ("%s", msg.c_str ());