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

[linpy.git] / Makefile

diff --git a/Makefile b/Makefile
index 28c927f..11f63e1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-NAME=pypol
+NAME=linpy
 
 PYTHON=python3
 SETUP=$(PYTHON) setup.py