diff --git a/src/pyk/cli/args.py b/src/pyk/cli/args.py
index d0891ded7..8b3daf323 100644
--- a/src/pyk/cli/args.py
+++ b/src/pyk/cli/args.py
@@ -381,6 +381,7 @@ def definition_args(self) -> ArgumentParser:
             type=str,
             help='Code selector expression to use when reading markdown.',
         )
+        args.add_argument('--spec-module', dest='spec_module', type=str, help='Module with claims to be proven.')
         return args
 
     @cached_property