diff --git a/pyk/src/pyk/proof/reachability.py b/pyk/src/pyk/proof/reachability.py
index a1cd3e90ed7..d831c7b33c8 100644
--- 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)