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

[project @ 2000-02-02 10:25:52 by jwe]
author jwe
date Wed, 02 Feb 2000 10:26:25 +0000
parents f37ca3017116
children f2e2faef1220
line wrap: on
line diff
--- a/src/DLD-FUNCTIONS/rand.cc	Wed Feb 02 06:32:04 2000 +0000
+++ b/src/DLD-FUNCTIONS/rand.cc	Wed Feb 02 10:26:25 2000 +0000
@@ -165,7 +165,7 @@
 
       if (tmp.is_string ())
 	{
-	  string s_arg = tmp.string_value ();
+	  std::string s_arg = tmp.string_value ();
 
 	  if (s_arg == "dist")
 	    {