diff --git a/certora/scripts/verifyERC1155BurnableAll.sh b/certora/scripts/verifyERC1155Burnable.sh
similarity index 100%
rename from certora/scripts/verifyERC1155BurnableAll.sh
rename to certora/scripts/verifyERC1155Burnable.sh