From 8e5bfd5fa7e4ca5176dbce6ed76dce010fb87d63 Mon Sep 17 00:00:00 2001
From: david <david@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Tue, 19 Jun 2012 17:10:57 +0000
Subject: [PATCH] Remove unused member.

---
 zenmap/zenmapGUI/ScriptInterface.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/zenmap/zenmapGUI/ScriptInterface.py b/zenmap/zenmapGUI/ScriptInterface.py
index 937e6ff7e..de2aacce4 100644
--- a/zenmap/zenmapGUI/ScriptInterface.py
+++ b/zenmap/zenmapGUI/ScriptInterface.py
@@ -200,7 +200,6 @@ class ScriptInterface:
         self.current_arguments = []
         self.set_help_texts()
         self.prev_script_spec = None
-        self.script_expr = re.compile(r"^NSE: Loaded '(.*)'")
         self.focussedentry = None
 
         self.liststore = gtk.ListStore(str, "gboolean", object)