diff --git a/gui/wm/ws.h b/gui/wm/ws.h
index 1ab540263e..9c6a566ea5 100644
--- a/gui/wm/ws.h
+++ b/gui/wm/ws.h
@@ -187,7 +187,6 @@ extern int                  wsGreenMask;
 extern int                  wsBlueMask;
 
 extern int                  wsUseXShm;
-extern int                  wsUseDGA;
 
 // ----------------------------------------------------------------------------------------------
 //  wsKeyTable