Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument

[linpy.git] / examples / menger.py

diff --git a/examples/menger.py b/examples/menger.py
index 9ec958f..d8a74d4 100755 (executable)
--- a/examples/menger.py
+++ b/examples/menger.py
@@ -9,7 +9,7 @@ from math import ceil
 from matplotlib import pylab
 from mpl_toolkits.mplot3d import Axes3D
 
-from pypol import *
+from linpy import *
 
 x, y, z = symbols('x y z')