black

jmafoster1 · jmafoster1 · commit 0b4e232e585d · 2023-03-17T13:57:50.000Z
diff --git a/causal_testing/specification/variable.py b/causal_testing/specification/variable.py
@@ -124,7 +124,6 @@ def __lt__(self, other: Any) -> BoolRef:
         """
         return self.z3.__lt__(_coerce(other))
 
-
     def __mod__(self, other: Any) -> BoolRef:
         """Create the Z3 expression `self % other`.
 
