diff src/utils.cc @ 610:14b2a186a5c0

[project @ 1994-08-14 00:55:49 by jwe]
author jwe
date Sun, 14 Aug 1994 01:01:32 +0000
parents ae3b8b2924a0
children aecbe369233b
line wrap: on
line diff
--- a/src/utils.cc	Sun Aug 14 00:28:54 1994 +0000
+++ b/src/utils.cc	Sun Aug 14 01:01:32 1994 +0000
@@ -483,7 +483,7 @@
 {
   int n = args.length ();
   for (int i = 1; i < n; i++)
-    if (! args(i).is_string_type ())
+    if (! args(i).is_string ())
       return 0;
   return 1;
 }