Revert "macaw-ppc-symbolic: Remove redundant import"

This reverts commit 1838ebf.
GaloisInc · Aug 29, 2024 · 046c917 · 046c917
1 parent 9d5368d
commit 046c917
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Functions.hs b/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Functions.hs
@@ -34,6 +34,7 @@ import qualified Lang.Crucible.Simulator.RegMap as C
 import qualified Lang.Crucible.Simulator.SimError as C
 import qualified Lang.Crucible.Types as C
 import qualified What4.Interface as C
+import qualified What4.InterpretedFloatingPoint as C
 
 import qualified SemMC.Architecture.PPC as SP
 import qualified SemMC.Util as U