diff --git a/semantic.cabal b/semantic.cabal index 387a73b80..91d779f77 100644 --- a/semantic.cabal +++ b/semantic.cabal @@ -47,7 +47,6 @@ library , Control.Abstract.Value -- Datatypes for abstract interpretation , Data.Abstract.Address - , Data.Abstract.Address.Precise , Data.Abstract.Cache , Data.Abstract.Configuration , Data.Abstract.Declarations diff --git a/src/Data/Abstract/Address/Precise.hs b/src/Data/Abstract/Address/Precise.hs deleted file mode 100644 index 0b1020e91..000000000 --- a/src/Data/Abstract/Address/Precise.hs +++ /dev/null @@ -1 +0,0 @@ -module Data.Abstract.Address.Precise where