diff src/input.h @ 3165:e4bbfc196e53

[project @ 1998-04-16 03:01:47 by jwe]
author jwe
date Thu, 16 Apr 1998 03:05:03 +0000
parents 92aa3d651723
children 4d33b1e56bff
line wrap: on
line diff
--- a/src/input.h
+++ b/src/input.h
@@ -26,6 +26,7 @@
 #define octave_input_h 1
 
 #include <cstdio>
+#include <ctime>
 
 #include <string>
 
@@ -85,6 +86,8 @@
 
 extern int Vecho_executing_commands;
 
+extern time_t Vlast_prompt_time;
+
 #endif
 
 /*