From 88c13a37e0aba4bbd0bfaa7575848340d503cbc2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 22:59:41 +0100
Subject: Fix an issue with the assumed box functions being considered as
 monadic

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3c9d9f1e..e47a170d 100644
--- a/Makefile
+++ b/Makefile
@@ -18,16 +18,16 @@ build-run-check-trace: generate-cfim
 	dune build src/main.exe && \
 	dune exec src/main.exe $(CFIM_TEST_FILE) > tests/trace_current.txt && \
 	cmp tests/trace_reference.txt tests/trace_current.txt && \
-        cp fstar/Primitives.fst $(CHARON_TESTS_DIR)
+	cp fstar/Primitives.fst $(CHARON_TESTS_DIR)
 
 # Build the project and update the trace
 .PHONY: regen-trace
 regen-trace: generate-cfim
 	dune build src/main.exe && \
 	dune exec src/main.exe $(CFIM_TEST_FILE) > tests/trace_current.txt && \
-        rm -f tests/trace_reference.txt && \
-	cp tests/trace_current.txt tests/trace_reference.txt \
-        cp fstar/Primitives.fst $(CHARON_TESTS_DIR)
+	rm -f tests/trace_reference.txt && \
+	cp tests/trace_current.txt tests/trace_reference.txt && \
+	cp fstar/Primitives.fst $(CHARON_TESTS_DIR)
 
 .PHONY: generate-cfim
 generate-cfim:
-- 
cgit v1.2.3