From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 13:30:56 +0000 (+0200)
Subject: Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
X-Git-Tag: 1.0~39
X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/c3149dd6dbf0dd296c85676fcf9f997ead2470f0

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

diff --git a/linpy/polyhedra.py b/linpy/polyhedra.py
index fb2b4a7..e5e2523 100644
--- a/linpy/polyhedra.py
+++ b/linpy/polyhedra.py
@@ -178,7 +178,7 @@ class Polyhedron(Domain):
         used on large polyhedra.
         """
         if not isinstance(other, Polyhedron):
-            raise ValueError('argument must be a Polyhedron instance')
+            raise TypeError('argument must be a Polyhedron instance')
         inequalities1 = self._asinequalities()
         inequalities2 = other._asinequalities()
         inequalities = []