diff --git a/src/Data/Abstract/Live.hs b/src/Data/Abstract/Live.hs index f42b7d5cd..50316a521 100644 --- a/src/Data/Abstract/Live.hs +++ b/src/Data/Abstract/Live.hs @@ -22,6 +22,7 @@ liveSingleton = Live . Set.singleton liveInsert :: Ord l => Address l v -> Live l v -> Live l v liveInsert addr = Live . Set.insert addr . unLive +-- | Delete an address from a 'Live' set, if present. liveDelete :: Ord l => Address l v -> Live l v -> Live l v liveDelete addr = Live . Set.delete addr . unLive