From e3a0846a148fd73d8e98a60f014c85f3512c1d01 Mon Sep 17 00:00:00 2001
From: jan <janp@stanford.edu>
Date: Thu, 4 Aug 2016 22:53:27 -0700
Subject: [PATCH] Remove extra space

---
 examples/test.py | 1 -
 1 file changed, 1 deletion(-)

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()
-