changeset 1725:59ee9a58f80e

[project @ 1996-01-09 06:47:45 by jwe]
author jwe
date Tue, 09 Jan 1996 06:47:45 +0000
parents a45e88743238
children 635f225ce2f6
files src/variables.h
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/variables.h	Tue Jan 09 06:19:59 1996 +0000
+++ b/src/variables.h	Tue Jan 09 06:47:45 1996 +0000
@@ -68,7 +68,7 @@
 
 extern char *get_help_from_file (const char *f);
 
-extern char *builtin_string_variable (const char *);
+extern const char *builtin_string_variable (const char *);
 extern int builtin_real_scalar_variable (const char *, double&);
 extern tree_constant builtin_any_variable (const char *);