diff src/data.cc @ 1728:42b4f904f1af

[project @ 1996-01-09 11:36:01 by jwe]
author jwe
date Tue, 09 Jan 1996 11:41:43 +0000
parents 0d9e10d10bd7
children a02f140ed897
line wrap: on
line diff
--- a/src/data.cc
+++ b/src/data.cc
@@ -33,6 +33,8 @@
 #include <config.h>
 #endif
 
+#include <string>
+
 #include "defun.h"
 #include "error.h"
 #include "gripes.h"
@@ -804,7 +806,8 @@
       retval = 0.0;
       if (args(0).is_map () && args(1).is_string ())
 	{
-	  const char *s = args(1).string_value ();
+	  string tstr = args(1).string_value ();
+	  const char *s = tstr.c_str ();
 	  tree_constant tmp = args(0).lookup_map_element (s, 0, 1);
 	  retval = (double) tmp.is_defined ();
 	}