aarch32-symbolic: Export AArch32Exception

GaloisInc · Jan 24, 2024 · d1ba6e4 · d1ba6e4
1 parent a023434
commit d1ba6e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs
@@ -13,6 +13,7 @@ module Data.Macaw.AArch32.Symbolic (
   aarch32MacawSymbolicFns
   , lookupReg
   , updateReg
+  , AArch32Exception(..)
   ) where
 
 import qualified Data.Text as T