diff src/input.h @ 2181:138b3c98dc85

[project @ 1996-05-13 18:02:31 by jwe]
author jwe
date Mon, 13 May 1996 18:06:22 +0000
parents 003570e69c7b
children 38fea6d34daf
line wrap: on
line diff
--- a/src/input.h	Mon May 13 17:30:10 1996 +0000
+++ b/src/input.h	Mon May 13 18:06:22 1996 +0000
@@ -69,6 +69,10 @@
 
 char *gnu_readline (const char *s);
 
+extern string Vps4;
+
+extern void symbols_of_input (void);
+
 #endif
 
 /*