Fix spacing

makerdao · Oct 4, 2024 · 0f38292 · 0f38292
1 parent d60a326
commit 0f38292
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -1,3 +1,3 @@
 PATH := ~/.solc-select/artifacts/solc-0.8.21:$(PATH)
-certora-vote-delegate 		  :; PATH=${PATH} certoraRun certora/VoteDelegate.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
+certora-vote-delegate         :; PATH=${PATH} certoraRun certora/VoteDelegate.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
 certora-vote-delegate-factory :; PATH=${PATH} certoraRun certora/VoteDelegateFactory.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)