Add missing export

GaloisInc · Jul 1, 2016 · f6e5eb6 · f6e5eb6
1 parent 72a6531
commit f6e5eb6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Verifier/SAW/TypedAST.hs b/src/Verifier/SAW/TypedAST.hs
@@ -101,6 +101,7 @@ module Verifier.SAW.TypedAST
  , commaSepList
  , semiTermList
  , ppParens
+ , ppLetBlock
  ) where
 
 import Control.Applicative hiding (empty)