From d93c6047655633c14f6f9d8cd069d03b26a9784e Mon Sep 17 00:00:00 2001
From: yesji <55633427+yesji@users.noreply.github.com>
Date: Fri, 11 Oct 2019 22:41:09 +0530
Subject: [PATCH] Fixed "Module is defined but never used" issue

---
 Server/src/main/resources/static/js/ace/theme-gruvbox.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Server/src/main/resources/static/js/ace/theme-gruvbox.js b/Server/src/main/resources/static/js/ace/theme-gruvbox.js
index 3eda485..658b39e 100644
--- a/Server/src/main/resources/static/js/ace/theme-gruvbox.js
+++ b/Server/src/main/resources/static/js/ace/theme-gruvbox.js
@@ -1,4 +1,4 @@
-define("ace/theme/gruvbox", ["require", "exports", "module", "ace/lib/dom"], function (require, exports, module) {
+define("ace/theme/gruvbox", ["require", "exports", "ace/lib/dom"], function (require, exports) {
 
     exports.isDark = true;
     exports.cssClass = "ace-gruvbox";