diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 42fa0ca7ad..be022a2db8 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.300" +version = "1.0.301" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index d8b57e1431..e494927b83 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.300' +VERSION: Final = '1.0.301' diff --git a/kevm-pyk/src/kontrolx/foundry.py b/kevm-pyk/src/kontrolx/foundry.py index f7f1abf43e..b6798fc22c 100644 --- a/kevm-pyk/src/kontrolx/foundry.py +++ b/kevm-pyk/src/kontrolx/foundry.py @@ -306,7 +306,7 @@ def get_test_id(self, test: str, id: int | None) -> str: if id is None: if len(matching_proofs) > 1: raise ValueError( - f'Found {len(matching_proofs)} matching proofs for {test}. Use the --id flag to choose one.' + f'Found {len(matching_proofs)} matching proofs for {test}. Use the --version flag to choose one.' ) test_id = single(matching_proofs).id return test_id diff --git a/package/version b/package/version index f28324a86f..3eb733d4c5 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.300 +1.0.301