From c1b2b95bf5bfdf62b004bff4a729655663519448 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 11:52:13 +0200
Subject: Move constant_value to PrimitiveValues.ml

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4779bd22..27d8ab7b 100644
--- a/Makefile
+++ b/Makefile
@@ -45,6 +45,10 @@ build-lib:
 doc:
 	cd compiler && dune build @doc
 
+.PHONY: clean
+clean:
+	cd compiler && dune clean
+
 # Test the project by translating test files to F*
 .PHONY: tests
 tests: build trans-no_nested_borrows trans-paper \
-- 
cgit v1.2.3