summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor/Property.hs')
-rw-r--r--src/Propellor/Property.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs
index 582b7cfb..8999d8d8 100644
--- a/src/Propellor/Property.hs
+++ b/src/Propellor/Property.hs
@@ -255,8 +255,8 @@ isNewerThan x y = do
tightenTargets
::
-- Note that this uses PolyKinds
- ( (Targets old `NotSuperset` Targets new) ~ 'CanCombineTargets
- , (NonTargets new `NotSuperset` NonTargets old) ~ 'CanCombineTargets
+ ( (Targets old `NotSuperset` Targets new) ~ 'CanCombine
+ , (NonTargets new `NotSuperset` NonTargets old) ~ 'CanCombine
, SingI new
)
=> Property (MetaTypes old)