From 96db179ffe880db52a1261bb87b16e39e6b92877 Mon Sep 17 00:00:00 2001
From: Bernardo Damele <bernardo.damele@gmail.com>
Date: Mon, 19 Jan 2009 21:26:02 +0000
Subject: [PATCH] Minor adjustment

---
 extra/dbgtool/dbgtool.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/dbgtool/dbgtool.py b/extra/dbgtool/dbgtool.py
index 6d3e11f72..e9717b42e 100755
--- a/extra/dbgtool/dbgtool.py
+++ b/extra/dbgtool/dbgtool.py
@@ -112,4 +112,4 @@ if __name__ == '__main__':
     inputFile  = args.inputFile
     outputFile = args.outputFile
 
-    script = main(inputFile, outputFile)
+    main(inputFile, outputFile)