From dbf0b8484753edf96adc5bea5466d5aa4be98fd3 Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Wed, 9 Jan 2019 10:20:58 -0500 Subject: [PATCH] bye felicia to klass in Abstract domain --- src/Data/Abstract/Value/Abstract.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Data/Abstract/Value/Abstract.hs b/src/Data/Abstract/Value/Abstract.hs index f2eb54cb8..9324ffb66 100644 --- a/src/Data/Abstract/Value/Abstract.hs +++ b/src/Data/Abstract/Value/Abstract.hs @@ -135,7 +135,6 @@ instance AbstractValue term address Abstract m where tuple _ = pure Abstract - klass _ _ = pure Abstract namespace _ _ = pure Abstract asPair _ = pure (Abstract, Abstract)