revert

xdslproject · Nov 6, 2024 · 4156c39 · 4156c39
1 parent 23d37ca
commit 4156c39
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/xdsl/dialects/csl/csl_stencil.py b/xdsl/dialects/csl/csl_stencil.py
@@ -393,9 +393,9 @@ def verify_(self) -> None:
                     f"Unexpected block argument type of done_exchange, got {arg.type} != {expected_type} at index {arg.index}"
                 )
 
-        if (len(self.res) != 0) and (len(self.dest) != 0):
+        if (len(self.res) == 0) == (len(self.dest) == 0):
             raise VerifyException(
-                "Expected stencil.apply to have results or dest specified, but not both"
+                "Expected stencil.apply to have either results or dest specified"
             )
 
     def get_rank(self) -> int: