From 00913cc4d6edab5d8aae0315bf635d7ab26ba2a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Gr=C3=A4=C3=9Flin?= <mgraesslin@kde.org>
Date: Mon, 20 Feb 2012 10:04:55 +0100
Subject: [PATCH] Drop unused options variable

---
 options.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/options.h b/options.h
index 67f225954e..f053ec81ed 100644
--- a/options.h
+++ b/options.h
@@ -336,7 +336,6 @@ public:
     // General preferences
     HiddenPreviews hiddenPreviews;
     bool unredirectFullscreen;
-    bool disableCompositingChecks;
     // OpenGL
     int glSmoothScale;  // 0 = no, 1 = yes when transformed,
     // 2 = try trilinear when transformed; else 1,