@@ -126,7 +126,7 @@ testPushDownRestrictionPredicate = TestCase $ do
126126 let rvs = RelationVariable "s" ()
127127 stevens <- case mkRelationFromList (attributes suppliersRel) [
128128 [TextAtom "S6", TextAtom "Stevens", IntegerAtom 50, TextAtom "Boston"]] of
129− Left err -> assertFailure $ "stevens relation: " ++ show err
129+ Left err -> (assertFailure ("stevens relation: " ++ show err)) >> pure relationTrue
130130 Right rel -> pure rel
131131 let expr1 = Restrict status30 (Union rvs (ExistingRelation stevens))
132132 status30 = AttributeEqualityPredicate "status" (NakedAtomExpr (IntAtom 30))