From 56a9022c0b3b3c390089680aa6170233fcc335b4 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Mon, 30 Dec 2024 10:17:16 -0800
Subject: [PATCH] Fix haddock link

---
 Data/SBV/Core/Data.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Data/SBV/Core/Data.hs b/Data/SBV/Core/Data.hs
index 3fe2ec9b..5175d5e2 100644
--- a/Data/SBV/Core/Data.hs
+++ b/Data/SBV/Core/Data.hs
@@ -558,7 +558,7 @@ class SolverContext m where
    setLogic     = setOption . SetLogic
    setInfo    k = setOption . SetInfo k
 
--- | Register a type with the solver. Like 'registerFunction', This is typically not necessary
+-- | Register a type with the solver. Like 'Data.SBV.Core.Model.registerFunction', This is typically not necessary
 -- since SBV will register types as it encounters them automatically. But there are cases
 -- where doing this can explicitly can come handy, typically in query contexts.
 registerType :: forall a m. (MonadIO m, SolverContext m, HasKind a) => Proxy a -> m ()