1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index efedbf7f..98172fda 100644
--- a/Makefile
+++ b/Makefile
@@ -105,7 +105,7 @@ verify:
 # Reformat the project
 .PHONY: format
 format:
-	cd compiler && dune promote
+	cd compiler && dune build @fmt --auto-promote
 
 # The commands to run Charon to generate the .llbc files
 ifeq (, $(REGEN_LLBC))