diff --git a/examples/test.py b/examples/test.py index b71e859..a40309f 100644 --- a/examples/test.py +++ b/examples/test.py @@ -222,4 +222,3 @@ if __name__ == '__main__': # test1(magma_solver) else: test1() -