From 4671daa0899d3c897cb28baeb5e62b2486fbeba7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 12:12:29 +0200
Subject: Reformat the code

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 27d8ab7b..7d295974 100644
--- a/Makefile
+++ b/Makefile
@@ -64,7 +64,7 @@ verify: build tests
 # Reformat the project
 .PHONY: format
 format:
-	dune build @fmt && dune promote
+	cd compiler && dune promote
 
 # Add specific options to some tests
 trans-no_nested_borrows trans-paper: \
-- 
cgit v1.2.3