Remove kwargs

runtimeverification · Jun 22, 2024 · 7f7505a · 7f7505a
1 parent c2c4c82
commit 7f7505a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/pyk/src/pyk/proof/reachability.py b/pyk/src/pyk/proof/reachability.py
@@ -422,7 +422,6 @@ def from_spec_modules(
         logs: dict[int, tuple[LogEntry, ...]],
         proof_dir: Path | None = None,
         spec_labels: Iterable[str] | None = None,
-        **kwargs: Any,
     ) -> list[APRProof]:
         claim_index = ClaimIndex.from_module_list(spec_modules)
         spec_labels = claim_index.labels(include=spec_labels, with_depends=True)