github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

delete old hash method implementations in Abstract domain

Browse Source
This commit is contained in:
Ayman Nadeem 2019-01-14 16:03:22 -05:00
parent a6aa6c812b
commit 4de04378dd
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Abstract/Value/Abstract.hs
View File

@ -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