display improvements
This commit is contained in:
parent
0f4e219838
commit
16ae2b503f
|
@ -66,7 +66,7 @@ data Property = Property
|
||||||
}
|
}
|
||||||
|
|
||||||
instance Show Property where
|
instance Show Property where
|
||||||
show = propertyDesc
|
show p = "property " ++ show (propertyDesc p)
|
||||||
|
|
||||||
-- | A property that can be reverted.
|
-- | A property that can be reverted.
|
||||||
data RevertableProperty = RevertableProperty Property Property
|
data RevertableProperty = RevertableProperty Property Property
|
||||||
|
|
Loading…
Reference in New Issue