From f61b781386bf5a8c761ba4fd81e51a41305c61a9 Mon Sep 17 00:00:00 2001
From: erik-krogh <erik-krogh@github.com>
Date: Fri, 2 Jun 2023 11:49:26 +0200
Subject: [PATCH] JS: delete effectively empty file

---
 javascript/ql/src/Declarations/ArgumentsRedefined.ql | 1 -
 javascript/ql/src/Declarations/Definitions.qll       | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 javascript/ql/src/Declarations/Definitions.qll

diff --git a/javascript/ql/src/Declarations/ArgumentsRedefined.ql b/javascript/ql/src/Declarations/ArgumentsRedefined.ql
index fdd70ac1479..dc1ca153062 100644
--- a/javascript/ql/src/Declarations/ArgumentsRedefined.ql
+++ b/javascript/ql/src/Declarations/ArgumentsRedefined.ql
@@ -12,7 +12,6 @@
  */
 
 import javascript
-import Definitions
 
 from VarRef d
 where
diff --git a/javascript/ql/src/Declarations/Definitions.qll b/javascript/ql/src/Declarations/Definitions.qll
deleted file mode 100644
index 7046b14f09d..00000000000
--- a/javascript/ql/src/Declarations/Definitions.qll
+++ /dev/null
@@ -1 +0,0 @@
-import javascript