pyk/konvert/_kast_to_kore: formatting

runtimeverification · Nov 21, 2024 · 359eb3f · 359eb3f
1 parent 830aaec
commit 359eb3f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/pyk/src/pyk/konvert/_kast_to_kore.py b/pyk/src/pyk/konvert/_kast_to_kore.py
@@ -218,7 +218,6 @@ def _inject(definition: KDefinition, term: KInner, sort: KSort) -> KInner:
 
 # 'krule' should have sorts on variables
 def krule_to_kore(definition: KDefinition, krule: KRule) -> Axiom:
-
     krule_body = krule.body
     krule_lhs_config = extract_lhs(krule_body)
     krule_rhs_config = extract_rhs(krule_body)