Rename Constant into Rational

[linpy.git] / pypol / domains.py

diff --git a/pypol/domains.py b/pypol/domains.py
index 9187081afe787c2cdaf75f1bf00e93cbe3a2862f..abc2d9105b635b1bec628fdb93088f7853548cea 100644 (file)
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -340,6 +340,7 @@ class Domain:
     def tosympy(self):
         raise NotImplementedError
 
+
 def And(*domains):
     if len(domains) == 0:
         from .polyhedra import Universe