Maintenance will be performed on git.ligo.org, chat.ligo.org, and docs.ligo.org, starting at approximately 10am CDT Tuesday 20 August 2019. The maintenance is expected to take around an hour and here will be two short periods of downtime, one at the beginning of the maintenance and another at the end.

Commit 720a5e05 authored by Sean Leavey's avatar Sean Leavey

Fix progress bar regression

parent 9eea425b
......@@ -2262,8 +2262,6 @@ class kat(object):
path = os.path.split(katfile.name)[0]
outfile = root[0] + ".out"
pb.finish()
if self.verbose: print("Used Finesse %s at %s" % (r.katVersion, r.katPath))
traceData = None
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment