From ecd1b1f528c2f8c9efbbd1e8a97ab9f73745b4cf Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 30 Jun 2017 20:57:31 +0200
Subject: [PATCH] Import not needed in test

---
 tests/core/test_core.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/core/test_core.py b/tests/core/test_core.py
index 7f69b2e..08125d3 100644
--- a/tests/core/test_core.py
+++ b/tests/core/test_core.py
@@ -8,7 +8,6 @@ class TestCore:
         import pycarl.cln
         import pycarl.gmp
         import pycarl.formula
-        import pycarl.gmp.parse
         pol1 = pycarl.gmp.FactorizedPolynomial(32)
         pol2 = pycarl.gmp.FactorizedPolynomial(2)
         rat = pycarl.gmp.FactorizedRationalFunction(pol1, pol2)