summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Types/NumCopies.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Types/NumCopies.hs b/Types/NumCopies.hs
index 8677e22b3..6c673df1a 100644
--- a/Types/NumCopies.hs
+++ b/Types/NumCopies.hs
@@ -111,7 +111,7 @@ invalidatableVerifiedCopy mk u check = do
-- Constructs a VerifiedCopy, and runs the action, ensuring that the
-- verified copy is invalidated when the action returns, or on error.
withVerifiedCopy
- :: (Monad m, MonadMask m, MonadIO m, ToUUID u)
+ :: (MonadMask m, MonadIO m, ToUUID u)
=> (V -> VerifiedCopy)
-> u
-> IO Bool