adjust some test names after bulk rename

runtimeverification · Feb 19, 2024 · 82a871c · 82a871c
1 parent 607b64f
commit 82a871c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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]