From cb603d47be46a6957ec16b9bc68176694542e99a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Aug 2023 22:46:48 +0200
Subject: Add an option to not override Hashmap.lean

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c94544be..a0111b37 100644
--- a/Makefile
+++ b/Makefile
@@ -147,7 +147,7 @@ trans-hashmap: SUBDIR := hashmap
 tfstar-hashmap: OPTIONS += -decreases-clauses -template-clauses
 tcoq-hashmap: OPTIONS += -use-fuel
 tlean-hashmap: SUBDIR :=
-tlean-hashmap: OPTIONS +=
+tlean-hashmap: OPTIONS += -no-gen-lib-entry # We add a custom import in the Hashmap.lean file: we do not want to overwrite it
 thol4-hashmap: OPTIONS +=
 
 trans-hashmap_main: OPTIONS += -test-trans-units
-- 
cgit v1.2.3