diff src/input.h @ 3255:4d33b1e56bff

[project @ 1999-07-15 20:54:14 by jwe]
author jwe
date Thu, 15 Jul 1999 20:54:34 +0000
parents e4bbfc196e53
children b80bbb43a1a9
line wrap: on
line diff
--- a/src/input.h	Thu Jul 15 16:02:57 1999 +0000
+++ b/src/input.h	Thu Jul 15 20:54:34 1999 +0000
@@ -26,10 +26,11 @@
 #define octave_input_h 1
 
 #include <cstdio>
-#include <ctime>
 
 #include <string>
 
+#include "oct-time.h"
+
 extern int octave_read (char *buf, unsigned max_size);
 extern FILE *get_input_from_file (const string& name, int warn = 1);
 extern FILE *get_input_from_stdin (void);
@@ -86,7 +87,7 @@
 
 extern int Vecho_executing_commands;
 
-extern time_t Vlast_prompt_time;
+extern octave_time Vlast_prompt_time;
 
 #endif