X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/9b755b94aa2c8847ffca607de239f5c3bca9984b..960f0c252361dfd696359f803aae40a9b13b14a6:/pypol/polyhedra.py

diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py
index 8e22602..9bfc64b 100644
--- a/pypol/polyhedra.py
+++ b/pypol/polyhedra.py
@@ -280,6 +280,7 @@ class Polyhedron(Domain):
             constraints.append(sympy.Ge(inequality.tosympy(), 0))
         return sympy.And(*constraints)
 
+
 class EmptyType(Polyhedron):
 
     __slots__ = Polyhedron.__slots__