--- GUI/OutputGUI.C.orig 2000-11-26 16:52:39.000000000 +0100 +++ GUI/OutputGUI.C 2011-11-15 14:11:31.000000000 +0100 @@ -18,7 +18,7 @@ #include "OutputGUI.h" -#include +#include OutputGUI::OutputGUI(Output *o) { @@ -26,8 +26,10 @@ if (!m_out) cerr<<"WARNING: Output not correctly set up"<type(1); o->box(FL_UP_BOX);