From afec59bfe2f7f848d8f279b6c0a997c8eb05eaf6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Thu, 17 Jul 2014 12:00:27 +0200
Subject: [PATCH] Fix name of testsuite section K*KD
---
src/testsuite/cool-testsuite.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/testsuite/cool-testsuite.ml b/src/testsuite/cool-testsuite.ml
index faab33a..5d852c5 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
]
--
GitLab