From c3149dd6dbf0dd296c85676fcf9f997ead2470f0 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 15:30:56 +0200
Subject: [PATCH 1/1] Raise TypeError if Polyhedron.widen() is called on a
non-polyhedral argument
---
linpy/polyhedra.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 = []
--
2.20.1