1 2 3 4 5 6 7 8 9 10 11
--- frontend/pisa_view_manager.h.orig 2008-06-11 15:02:57.215502256 +0200 +++ frontend/pisa_view_manager.h 2008-06-11 15:03:10.813875095 +0200 @@ -48,6 +48,8 @@ #include "file-selector.h" +#include <string.h> + class view_manager { public: