From 7527a9a0765af0d423d1d7b7ed532ec0b0972235 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 16 May 2018 13:18:29 -0400
Subject: [PATCH] Revert "Stub in a module for Precise addresses."

This reverts commit fc6b583e1172a7589055868863b4e010f7ec5f4f.
---
 semantic.cabal                       | 1 -
 src/Data/Abstract/Address/Precise.hs | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 src/Data/Abstract/Address/Precise.hs

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