diff src/DLD-FUNCTIONS/time.cc @ 3523:b80bbb43a1a9

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents 996bb7ea4507
children 2e2e32198722
line wrap: on
line diff
--- a/src/DLD-FUNCTIONS/time.cc	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/DLD-FUNCTIONS/time.cc	Wed Feb 02 10:26:25 2000 +0000
@@ -369,7 +369,7 @@
 
   if (args.length () == 2)
     {
-      string fmt = args(0).string_value ();
+      std::string fmt = args(0).string_value ();
 
       if (! error_state)
 	{
@@ -407,11 +407,11 @@
 
   if (args.length () == 2)
     {
-      string str = args(0).string_value ();
+      std::string str = args(0).string_value ();
 
       if (! error_state)
 	{
-	  string fmt = args(1).string_value ();
+	  std::string fmt = args(1).string_value ();
 
 	  if (! error_state)
 	    {