macaw-ppc-symbolic: Export SemanticsError

Fixes #385 (and finishes the work started in #370).
GaloisInc · Jul 19, 2024 · 8f81e0f · 8f81e0f
1 parent 9953c17
commit 8f81e0f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic.hs b/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic.hs
@@ -22,6 +22,7 @@ module Data.Macaw.PPC.Symbolic (
   getReg,
   lookupReg,
   updateReg,
+  F.SemanticsError(..),
   -- * Register names
   IP,
   LNK,