From ec013fe57beee49ad6e168e95ada98e4e7302765 Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Wed, 22 Oct 2025 23:19:49 +0200
Subject: [PATCH] Fix a test name

---
 tests/Properties/HashMapLazy.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/Properties/HashMapLazy.hs b/tests/Properties/HashMapLazy.hs
index 08b26b4b..8b653e6d 100644
--- a/tests/Properties/HashMapLazy.hs
+++ b/tests/Properties/HashMapLazy.hs
@@ -182,7 +182,7 @@ tests =
         \(k :: Key) (v :: Int) x -> isValid (HM.insert k v x)
       ]
     , testGroup "insertWith"
-      [ testProperty "insertWith" $
+      [ testProperty "model" $
         \(Fn2 f) k v (x :: HMKI) ->
           toOrdMap (HM.insertWith f k v x) === M.insertWith f k v (toOrdMap x)
       , testProperty "valid" $