fix format and remove commented out code
@@ -41,7 +41,6 @@ class Tool(benchexec.tools.template.BaseTool2):
break
if version >= 3.0:
for line in output:
- # print(line[line.index("wit4java version: "):])
if "wit4java: Witness Correct" in line:
return result.RESULT_FALSE_PROP
