From 6e39be5b1915f6e0f6f32a6064194ecc41bf1924 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 5 Mar 2015 13:09:36 +0100
Subject: [PATCH] popupMenu: Remove unused import

---
 js/ui/popupMenu.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index d4bb2aca7..062701ac3 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -12,7 +12,6 @@ const BoxPointer = imports.ui.boxpointer;
 const GrabHelper = imports.ui.grabHelper;
 const Main = imports.ui.main;
 const Params = imports.misc.params;
-const Separator = imports.ui.separator;
 const Tweener = imports.ui.tweener;
 
 const Ornament = {