X-Git-Url: https://scm.cri.minesparis.psl.eu/git/linpy.git/blobdiff_plain/29ed88d1a15d283ea6f3340a4dd97e8cc7c2d2d4..d06ab92943ec2e10a2bd798ca7c1b5cea395bf34:/pypol/domains.py

diff --git a/pypol/domains.py b/pypol/domains.py
index 9187081..abc2d91 100644
--- 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