fix extractIO (otherwise tests fail)

LeventErkok · May 10, 2024 · 3c04d86 · 3c04d86
1 parent b1fbae5
commit 3c04d86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Utils/ExtractIO.hs b/Data/SBV/Utils/ExtractIO.hs
@@ -32,7 +32,7 @@ class MonadIO m => ExtractIO m where
 
 -- | Trivial IO extraction for 'IO'.
 instance ExtractIO IO where
-    extractIO = fmap pure
+    extractIO = pure
 
 -- | IO extraction for 'MaybeT'.
 instance ExtractIO m => ExtractIO (MaybeT m) where