Imported from ../bash-3.1.tar.gz.
diff --git a/bashhist.h b/bashhist.h
index a4edb50..0a01d69 100644
--- a/bashhist.h
+++ b/bashhist.h
@@ -38,6 +38,7 @@
 extern int command_oriented_history;
 extern int current_command_first_line_saved;
 extern int hist_last_line_added;
+extern int hist_last_line_pushed;
 
 #  if defined (BANG_HISTORY)
 extern int history_expansion_inhibited;