diff --git a/pyk/src/pyk/cli/args.py b/pyk/src/pyk/cli/args.py
index cb87bbf4b13..81044092c2d 100644
--- a/pyk/src/pyk/cli/args.py
+++ b/pyk/src/pyk/cli/args.py
@@ -388,7 +388,6 @@ 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