diff --git a/src/testsuite/cool-testsuite.ml b/src/testsuite/cool-testsuite.ml
index faab33afea58fc2a05837fe08f62f17ef4d43cbd..5d852c5df5e25f0c865bf75700467990e6ba8a29 100644
--- a/src/testsuite/cool-testsuite.ml
+++ b/src/testsuite/cool-testsuite.ml
@@ -96,7 +96,7 @@ let testcases =
     ; c "Nominals" nominal_testcases
     ; c "KD" kd_testcases
     ; c "CL" cl_testcases
-    ; c "K×KD" kAndKd_testcases
+    ; c "K*KD" kAndKd_testcases
     ; c "K+KD" kOrKd_testcases
     ]