need an #ifdef for one of the just added #includes

ChangeLog

@@ -1,3 +1,7 @@
+2010-07-30  Robert Larice
+ * src/main.c :
+    need an #ifdef for one of the just added #includes
+
 2010-07-30  Robert Larice
  * src/frontend/com_dl.c ,
  * src/frontend/com_help.c ,

src/main.c

@@ -60,6 +60,8 @@ extern int rl_catch_signals;        /* missing from editline/readline.h */
 #include "ipctiein.h"
 #include "mif.h"
 #include "enh.h"
+#include "mifproto.h"
+#include "evtproto.h"
 #endif
 
 #ifdef CIDER
@@ -67,9 +69,6 @@ extern int rl_catch_signals;        /* missing from editline/readline.h */
 #include "maths/misc/accuracy.h"
 #endif
 
-#include "mifproto.h"
-#include "evtproto.h"
-
 #if defined(HAVE_GNUREADLINE) || defined(HAVE_BSDEDITLINE)
 char history_file[512] = {'\0'};
 static char *application_name;