mirror of
https://github.com/github/semantic.git
synced 2024-12-01 17:59:10 +03:00
bye felicia to klass in Abstract domain
This commit is contained in:
parent
1f12fff84f
commit
dbf0b84847
@ -135,7 +135,6 @@ instance AbstractValue term address Abstract m where
|
||||
|
||||
tuple _ = pure Abstract
|
||||
|
||||
klass _ _ = pure Abstract
|
||||
namespace _ _ = pure Abstract
|
||||
|
||||
asPair _ = pure (Abstract, Abstract)
|
||||
|
Loading…
Reference in New Issue
Block a user