From 0d5fb87166cc4eb4ddc783d871ad459479fc9fdc Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 22 Sep 2022 18:46:28 +0200
Subject: Add a `format` target in the Makefile

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 80cdad30..db308fbd 100644
--- a/Makefile
+++ b/Makefile
@@ -39,6 +39,11 @@ test: build trans-no_nested_borrows trans-paper \
 verify: build test
 	cd tests && make all
 
+# Reformat the project
+.PHONY: format
+format:
+	dune build @fmt && dune promote
+
 # Add specific options to some tests
 trans-no_nested_borrows trans-paper: \
 	TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
-- 
cgit v1.2.3