kontrol/cli: correct CLI message

ehildenb · ehildenb · commit d23ee0d823c9 · 2025-03-31T20:52:52.000Z
diff --git a/src/kontrol/cli.py b/src/kontrol/cli.py
@@ -248,7 +248,7 @@ def rpc_args(self) -> ArgumentParser:
             dest='lemmas',
             default=None,
             help=(
-                'File and extra module to include for verification (which must import one of [KONTROL-BASE|KONTROL-AUX|KONTROL-KECCAK|KONTROL-FULL] modules).'
+                'File and extra module to include for verification (which must import the FOUNDRY-MAIN module).'
                 'Format is <file>:<module name>.'
             ),
         )

Original file line number	Diff line number	Diff line change
`@@ -248,7 +248,7 @@ def rpc_args(self) -> ArgumentParser:`
`248`	`248`	`dest='lemmas',`
`249`	`249`	`default=None,`
`250`	`250`	`help=(`
`251`		`- 'File and extra module to include for verification (which must import one of [KONTROL-BASE\|KONTROL-AUX\|KONTROL-KECCAK\|KONTROL-FULL] modules).'`
	`251`	`+ 'File and extra module to include for verification (which must import the FOUNDRY-MAIN module).'`
`252`	`252`	`'Format is <file>:<module name>.'`
`253`	`253`	`),`
`254`	`254`	`)`