diff src/input.h @ 2275:38fea6d34daf

[project @ 1996-05-24 04:06:52 by jwe]
author jwe
date Fri, 24 May 1996 04:08:52 +0000
parents 138b3c98dc85
children f296bbc757a1
line wrap: on
line diff
--- a/src/input.h
+++ b/src/input.h
@@ -67,7 +67,7 @@
 // A line of input.
 extern string current_input_line;
 
-char *gnu_readline (const char *s);
+char *gnu_readline (const char *s, bool force_readline = false);
 
 extern string Vps4;