# HG changeset patch
# User jwe
# Date 821170065 0
# Node ID 59ee9a58f80e2b334672d1387b6f2eae7d29130f
# Parent  a45e88743238cf494ece81091438c75b00d5077f
[project @ 1996-01-09 06:47:45 by jwe]

diff --git a/src/variables.h b/src/variables.h
--- a/src/variables.h
+++ b/src/variables.h
@@ -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 *);