Merge branch 'joeyconfig'

1 files changed, 6 insertions, 5 deletions

diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs
index 342db1a5..95805054 100644
--- a/src/Propellor/Property.hs
+++ b/src/Propellor/Property.hs
@@ -142,11 +142,12 @@ ensureProperty :: Property NoInfo -> Propellor Result
 ensureProperty = catchPropellor . propertySatisfy
 
 -- | Makes a Property only need to do anything when a test succeeds.
-check :: IO Bool -> Property i -> Property i
-check c p = adjustPropertySatisfy p $ \satisfy -> ifM (liftIO c)
-	( satisfy
-	, return NoChange
-	)
+check :: (LiftPropellor m) => m Bool -> Property i -> Property i
+check c p = adjustPropertySatisfy p $ \satisfy -> 
+	ifM (liftPropellor c)
+		( satisfy
+		, return NoChange
+		)
 
 -- | Tries the first property, but if it fails to work, instead uses
 -- the second.