From 5209b9976107592802327bac30e8b98fbb9c2d2f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 29 Apr 2024 13:37:38 +0200
Subject: Update charon

---
 Makefile | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 08359d49..f4bb8f9e 100644
--- a/Makefile
+++ b/Makefile
@@ -94,7 +94,7 @@ test: build-dev test-all
 test-all: test-no_nested_borrows test-paper \
 	test-hashmap test-hashmap_main \
 	test-external test-constants \
-	testp-polonius_list testp-betree_main \
+	test-polonius_list testp-betree_main \
 	ctest-testp-betree_main \
 	test-loops \
 	test-arrays test-traits test-bitwise test-demo
@@ -183,14 +183,14 @@ tcoq-hashmap_main: OPTIONS += -use-fuel
 tlean-hashmap_main: SUBDIR :=
 thol4-hashmap_main: OPTIONS +=
 
-testp-polonius_list: OPTIONS += -test-trans-units
-testp-polonius_list: SUBDIR := misc
-tfstarp-polonius_list: OPTIONS +=
-tcoqp-polonius_list: OPTIONS +=
-tleanp-polonius_list: SUBDIR :=
-tleanp-polonius_list: OPTIONS +=
-thol4p-polonius_list: SUBDIR := misc-polonius_list
-thol4p-polonius_list: OPTIONS +=
+test-polonius_list: OPTIONS += -test-trans-units
+test-polonius_list: SUBDIR := misc
+tfstar-polonius_list: OPTIONS +=
+tcoq-polonius_list: OPTIONS +=
+tlean-polonius_list: SUBDIR :=
+tlean-polonius_list: OPTIONS +=
+thol4-polonius_list: SUBDIR := misc-polonius_list
+thol4-polonius_list: OPTIONS +=
 
 test-constants: OPTIONS += -test-trans-units
 test-constants: SUBDIR := misc
-- 
cgit v1.2.3