From 3b315112dc4b2639009932c882aa4ac76c331c6d Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Fri, 1 Dec 2017 14:28:28 -0500
Subject: [PATCH] Define Live.delete tacitly.

---
 src/Data/Abstract/Live.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Abstract/Live.hs b/src/Data/Abstract/Live.hs
index d8263139d..577cc7ae7 100644
--- a/src/Data/Abstract/Live.hs
+++ b/src/Data/Abstract/Live.hs
@@ -17,7 +17,7 @@ singleton :: Address l v -> Live l v
 singleton = Live . Set.singleton
 
 delete :: Ord l => Address l v -> Live l v -> Live l v
-delete addr (Live s) = Live (Set.delete addr s)
+delete addr = Live . Set.delete addr . unLive
 
 difference :: Ord l => Live l v -> Live l v -> Live l v
 difference = fmap Live . (Set.difference `on` unLive)