Fix revision_from_logs.

diff --git a/tools/fix.py b/tools/fix.py
index fd257a598606fe09b6b4ae8c5970cef3112fed95..8108084b867f8de3fb91571f234dd52606b6f5f1 100755 (executable)
--- a/tools/fix.py
+++ b/tools/fix.py
@@ -45,7 +45,7 @@ for build in store.find(StormBuild, StormBuild.revision == None):
         build.remove()
         continue
     try:
-        (revision, revision_time) = revision_from_log(log)
+        revision = revision_from_log(log)
     except MissingRevisionInfo:
         continue
     assert revision