diff --git a/core/toolbox/separator.js b/core/toolbox/separator.js
index f4222cd0b..664fa4584 100644
--- a/core/toolbox/separator.js
+++ b/core/toolbox/separator.js
@@ -15,12 +15,14 @@ goog.module('Blockly.ToolboxSeparator');
 goog.module.declareLegacyNamespace();
 
 const Css = goog.require('Blockly.Css');
+/* eslint-disable-next-line no-unused-vars */
 const IToolbox = goog.requireType('Blockly.IToolbox');
 const IToolboxItem = goog.require('Blockly.IToolboxItem');
 const ToolboxItem = goog.require('Blockly.ToolboxItem');
 const dom = goog.require('Blockly.utils.dom');
 const object = goog.require('Blockly.utils.object');
 const registry = goog.require('Blockly.registry');
+/* eslint-disable-next-line no-unused-vars */
 const toolbox = goog.requireType('Blockly.utils.toolbox');