Remove extra space

This commit is contained in:
jan 2016-08-04 22:53:27 -07:00
parent ec674fe3f4
commit e3a0846a14

View File

@ -222,4 +222,3 @@ if __name__ == '__main__':
# test1(magma_solver)
else:
test1()