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