crucible: Don't export the constructor of AssumptionStack

Appears not to be needed: https://github.com/search?q=owner%3AGaloisInc+%2FAssumptionStack%2F+language%3AHaskell&type=code&l=Haskell
GaloisInc · Jan 24, 2024 · b62ca9e · b62ca9e
1 parent ea7e24d
commit b62ca9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crucible/src/Lang/Crucible/Backend/AssumptionStack.hs b/crucible/src/Lang/Crucible/Backend/AssumptionStack.hs
@@ -33,7 +33,7 @@ module Lang.Crucible.Backend.AssumptionStack
   , FrameIdentifier
   , AssumptionFrame(..)
   , AssumptionFrames(..)
-  , AssumptionStack(..)
+  , AssumptionStack
     -- ** Manipulating assumption stacks
   , initAssumptionStack
   , saveAssumptionStack