Work around pydocstyle false positive

runtimeverification · Jan 24, 2025 · b10dbf0 · b10dbf0
1 parent a9a34dd
commit b10dbf0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/k2lean4/k2lean4.py b/pyk/src/pyk/k2lean4/k2lean4.py
@@ -375,7 +375,7 @@ def _free_binders(self, pattern: Pattern) -> list[Binder]:
 
     def _def_binders(self, defs: Mapping[str, Pattern]) -> list[Binder]:
         return [
-            ExplBinder((f'def{ident}',), Term(f'{self._transform_pattern(pattern)} = some {ident}'))
+            ExplBinder((f'defn{ident}',), Term(f'{self._transform_pattern(pattern)} = some {ident}'))
             for ident, pattern in defs.items()
         ]