From 4de04378dda8374c4cdf09bfb627594197a0ec7d Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Mon, 14 Jan 2019 16:03:22 -0500 Subject: [PATCH] delete old hash method implementations in Abstract domain --- src/Data/Abstract/Value/Abstract.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/Data/Abstract/Value/Abstract.hs b/src/Data/Abstract/Value/Abstract.hs index 19b086bbb..d3988e09e 100644 --- a/src/Data/Abstract/Value/Abstract.hs +++ b/src/Data/Abstract/Value/Abstract.hs @@ -141,8 +141,6 @@ instance AbstractHole Abstract where hole = Abstract instance AbstractIntro Abstract where - hash _ = Abstract - kvPair _ _ = Abstract null = Abstract instance AbstractValue term address Abstract m where