diff src/data.cc @ 1363:ed5757e3333b

[project @ 1995-09-05 23:26:59 by jwe]
author jwe
date Tue, 05 Sep 1995 23:26:59 +0000
parents 19c10b8657d5
children 6550c74777b9
line wrap: on
line diff
--- a/src/data.cc	Tue Sep 05 23:17:03 1995 +0000
+++ b/src/data.cc	Tue Sep 05 23:26:59 1995 +0000
@@ -755,7 +755,7 @@
       retval = 0.0;
       if (args(0).is_map () && args(1).is_string ())
 	{
-	  char *s = args(1).string_value ();
+	  const char *s = args(1).string_value ();
 	  tree_constant tmp = args(0).lookup_map_element (s, 0, 1);
 	  retval = (double) tmp.is_defined ();
 	}