Fix config name

makerdao · Jan 22, 2025 · d673000 · d673000
1 parent 88dabef
commit d673000
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -2,4 +2,4 @@ PATH := ~/.solc-select/artifacts/:~/.solc-select/artifacts/solc-0.8.21:$(PATH)
 certora-rate-limits        :; PATH=${PATH} certoraRun RateLimits.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
 certora-mainnet-controller :; PATH=${PATH} certoraRun MainnetController.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
 certora-foreign-controller :; PATH=${PATH} certoraRun ForeignController.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
-certora-alm-proxy          :; PATH=${PATH} certoraRun AlmProxy.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
+certora-alm-proxy          :; PATH=${PATH} certoraRun ALMProxy.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)