diff --git a/js/ui/main.js b/js/ui/main.js
index b8b891caa..3bb05c668 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -48,7 +48,6 @@ const DEFAULT_BACKGROUND_COLOR = Clutter.Color.from_pixel(0x2266bbff);
 let automountManager = null;
 let autorunManager = null;
 let panel = null;
-let hotCorners = [];
 let overview = null;
 let runDialog = null;
 let lookingGlass = null;