From 4a2bd6819685ae9aa83b634fd47018064d985321 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 28 Mar 2024 17:15:21 +0100
Subject: Update the format rule in the Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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))
-- 
cgit v1.2.3