--- src/read.c.orig 2008-07-12 01:38:05.000000000 -0700
+++ src/read.c 2008-08-07 12:40:39.000000000 -0700
@@ -213,7 +213,7 @@
* Push a macro
*/
public void
-el_push(EditLine *el, char *str)
+el_push(EditLine *el, const char *str)
{
c_macro_t *ma = &el->el_chared.c_macro;
--- src/histedit.h.orig 2008-07-12 01:38:05.000000000 -0700
+++ src/histedit.h 2008-08-07 12:40:39.000000000 -0700
@@ -92,7 +92,7 @@
*/
const char *el_gets(EditLine *, int *);
int el_getc(EditLine *, char *);
-void el_push(EditLine *, char *);
+void el_push(EditLine *, const char *);
/*
* Beep!