From 82a871c29ebeb37bd5c0c0e0e40e576c5a963ef5 Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Mon, 19 Feb 2024 14:29:44 +1100
Subject: [PATCH] adjust some test names after bulk rename

---
 kore/test/Test/Kore/Attribute/Overload.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kore/test/Test/Kore/Attribute/Overload.hs b/kore/test/Test/Kore/Attribute/Overload.hs
index 022221b32db..5a8f8a44ac4 100644
--- a/kore/test/Test/Kore/Attribute/Overload.hs
+++ b/kore/test/Test/Kore/Attribute/Overload.hs
@@ -101,7 +101,7 @@ test_Attributes =
 
 test_duplicate :: TestTree
 test_duplicate =
-    testCase "[symbol-overload{}(_, _), overload{}(_, _)]" $
+    testCase "[symbol-overload{}(_, _), symbol-overload{}(_, _)]" $
         expectFailure $
             parseOverload $
                 Attributes [attribute, attribute]
@@ -118,7 +118,7 @@ test_arguments =
 
 test_parameters :: TestTree
 test_parameters =
-    testCase "[overload{illegal}()]" $
+    testCase "[symbol-overload{illegal}()]" $
         expectFailure $
             parseOverload $
                 Attributes [illegalAttribute]