diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index 4d9ec2fca4..dd9f1083fd 100644
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -34,8 +34,6 @@ namespace frontend {
 class WorkArea
 {
 public:
-	///
-	WorkArea() : lyx_view_(0) {}
 	///
 	virtual ~WorkArea() {}
 
@@ -50,10 +48,6 @@ public:
 
 	/// Update window titles of all users.
 	virtual void updateWindowTitle() = 0;
-
-private:
-
-	LyXView * lyx_view_;
 };
 
 } // namespace frontend