#include "frontend.h"
#include "backend.h"
#include "dialogs.h"
+#include "menus.h"
#include "engineoutput.h"
#include "gettext.h"
}
void
-EngineOutputProc (Widget w, XEvent *event, String *prms, Cardinal *nprms)
+EngineOutputProc ()
{
if (!PopDown(EngOutDlg)) EngineOutputPopUp();
}