From cc2bfdbb174e9b9dde912d7c5c51e7fb39d3afa7 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 16 Apr 2024 17:50:56 +0200
Subject: [PATCH] test: remove a typo

---
 salut/test/dijkstra-ring/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/salut/test/dijkstra-ring/Makefile b/salut/test/dijkstra-ring/Makefile
index 6c0e2ecf..aa62d8d2 100644
--- a/salut/test/dijkstra-ring/Makefile
+++ b/salut/test/dijkstra-ring/Makefile
@@ -16,7 +16,7 @@ clean: genclean
 	rm -f diring*.* ring*.*
 
 kind2-test:
-	../run-kind2.sh diring 3 ok distributed uint8 Z3l
+	../run-kind2.sh diring 3 ok distributed uint8 Z3
 
 
 ##############################################################################
-- 
GitLab