# HG changeset patch
# User jwe
# Date 821179139 0
# Node ID ba9b08842dbe657893b2275a0786d55b8cfd7d17
# Parent  635f225ce2f6d3c2576a0a7fd49a2f90b4d1925b
[project @ 1996-01-09 09:18:59 by jwe]

diff -r 635f225ce2f6 -r ba9b08842dbe src/variables.h
--- a/src/variables.h	Tue Jan 09 06:52:13 1996 +0000
+++ b/src/variables.h	Tue Jan 09 09:18:59 1996 +0000
@@ -68,7 +68,7 @@
 
 extern char *get_help_from_file (const char *f);
 
-extern const char *builtin_string_variable (const char *);
+extern char *builtin_string_variable (const char *);
 extern int builtin_real_scalar_variable (const char *, double&);
 extern tree_constant builtin_any_variable (const char *);