summaryrefslogtreecommitdiff
blob: 4766a1c7b7aa932a548096db9c7e473d78b7699a (plain)
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: