--- a/src/widgets/menu.cc
+++ b/src/widgets/menu.cc
@@ -11,7 +11,6 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
-#include <ext/alloc_traits.h>
 #include <memory>
 #include <type_traits>
 #include <utility>