From 66eaddd271c4beff5451fab2030389cd634e1385 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Wed, 2 Jul 2014 06:10:18 +0200
Subject: [PATCH 1/1] Add missing classmethod decorator

---
 pypol/domains.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pypol/domains.py b/pypol/domains.py
index 6b47fe8..b4780fc 100644
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -249,6 +249,7 @@ class Domain:
             self._dimension = len(self._symbols)
             return self
 
+    @classmethod
     def _toislset(cls, polyhedra, symbols):
         polyhedron = polyhedra[0]
         islbset = polyhedron._toislbasicset(polyhedron.equalities,
-- 
2.20.1