diff --git a/salut/test/dijkstra-ring/Makefile b/salut/test/dijkstra-ring/Makefile
index 6c0e2ecf41293143fa0e18f7d528ae27ec4a43b4..aa62d8d298002400b303a617e25ece35325ec4f0 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
 
 
 ##############################################################################