diff --git a/semantic.cabal b/semantic.cabal
index 07eb96c8f..c6c5b8041 100644
--- a/semantic.cabal
+++ b/semantic.cabal
@@ -48,6 +48,7 @@ library
                      , Control.Abstract.TermEvaluator
                      , Control.Abstract.Value
                      -- Datatypes for abstract interpretation
+                     , Data.Abstract.Address.Hole
                      , Data.Abstract.Address.Located
                      , Data.Abstract.Address.Monovariant
                      , Data.Abstract.Address.Precise
diff --git a/src/Data/Abstract/Address/Hole.hs b/src/Data/Abstract/Address/Hole.hs
new file mode 100644
index 000000000..626953323
--- /dev/null
+++ b/src/Data/Abstract/Address/Hole.hs
@@ -0,0 +1 @@
+module Data.Abstract.Address.Hole where