X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/7f60c3d845f3035ce675bfe4cc0d2d01456013c6..161d0ced692386a866e55aea673d991e2e95f753:/pypol/domains.py

diff --git a/pypol/domains.py b/pypol/domains.py
index 74351fc..224ac5f 100644
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -5,7 +5,7 @@ import re
 from . import islhelper
 
 from .islhelper import mainctx, libisl, isl_set_basic_sets
-from .linexprs import Expression
+from .linexprs import Expression, Symbol
 
 
 __all__ = [
@@ -50,7 +50,7 @@ class Domain:
         symbols = set()
         for item in iterator:
             symbols.update(item.symbols)
-        return tuple(sorted(symbols, key=lambda symbol: symbol.name))
+        return tuple(sorted(symbols, key=Symbol.sortkey))
 
     @property
     def polyhedra(self):