blob: 4766a1c7b7aa932a548096db9c7e473d78b7699a [file] [log] [blame]
--- 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: