[gnome-builder: 2/4] HAS_JEDI flag is unnecessary

[Christian Hergert <chergert src gnome org>]

commit 20a47e728b1b3e725f5cac36cce15ceed7c5e644
Author: Sagar Chalise <chalisesagar gmail com>
Date:   Sun Jan 26 14:12:53 2020 +0545

    HAS_JEDI flag is unnecessary

 src/plugins/jedi/jedi_plugin.py | 2 --
 1 file changed, 2 deletions(-)
---
diff --git a/src/plugins/jedi/jedi_plugin.py b/src/plugins/jedi/jedi_plugin.py
index a01da9835..888eb2db9 100644
--- a/src/plugins/jedi/jedi_plugin.py
+++ b/src/plugins/jedi/jedi_plugin.py
@@ -215,9 +215,7 @@ try:
 except ImportError:
     print("jedi not found, python auto-completion not possible.")
     IS_JEDI_PATCHED = False
-    HAS_JEDI = False
 else:
-    HAS_JEDI = True
     IS_JEDI_PATCHED = patch_jedi()
 GIR_PATH_LIST = []