# HG changeset patch
# User jwe
# Date 810343023 0
# Node ID f9745982c98785b009e28198f7bb9a87479800e5
# Parent  90a897b8bbd3c4f4a16c54c07bee94ba4bbfb8e9
[project @ 1995-09-05 23:17:03 by jwe]

diff -r 90a897b8bbd3 -r f9745982c987 src/input.h
--- a/src/input.h	Tue Sep 05 21:55:23 1995 +0000
+++ b/src/input.h	Tue Sep 05 23:17:03 1995 +0000
@@ -71,7 +71,7 @@
 
 extern "C"
 {
-char *gnu_readline (char *s);
+char *gnu_readline (const char *s);
 }
 
 #endif