Formatting

leonardt · Nov 21, 2023 · 49904c3 · 49904c3
1 parent 14748a0
commit 49904c3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/fault/property.py b/fault/property.py
@@ -246,7 +246,6 @@ def compile(self, prop):
 
 
 def _make_statement(statement, prop, on, disable_iff, compile_guard, name):
-
     if (when_cond := get_when_cond()) is not None:
         prop = when_cond | implies | prop