more guii moving around.

[features.git] / src / BufferView_pimpl.h

diff --git a/src/BufferView_pimpl.h b/src/BufferView_pimpl.h
index cc9929b4feb1289e5d38b76501ffee8676d1a73a..37024053850d8ef7ccb469675c23c012f934317d 100644 (file)
--- a/src/BufferView_pimpl.h
+++ b/src/BufferView_pimpl.h
@@ -6,7 +6,8 @@
 #include "BufferView.h"
 #include "commandtags.h"
 #include "frontends/Timeout.h"
-#include "WorkArea.h"
+// FIXME remove me 
+#include "frontends/WorkArea.h"
 #include "box.h"
 #include "insets/insetspecialchar.h"
 #include "support/types.h"