Move isl version test in Domain.vertices outside

[linpy.git] / examples / bac2014.py

diff --git a/examples/bac2014.py b/examples/bac2014.py
index bb8969d..775be66 100755 (executable)
--- a/examples/bac2014.py
+++ b/examples/bac2014.py
@@ -1,6 +1,6 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-from pypol import *
+from linpy import *

 
 x, y, z = symbols('x y z')
 DF = Eq(x, y) & Eq(z, 6 - 2*x)
 
 x, y, z = symbols('x y z')
 DF = Eq(x, y) & Eq(z, 6 - 2*x)