Update saw-core-coq and adapt to GaloisInc/saw-core-coq#28.

This updates saw-core-coq to use the prettyprinter package.
GaloisInc · Nov 30, 2020 · fcbed5b · fcbed5b
1 parent e07f7ce
commit fcbed5b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/saw-core-coq b/deps/saw-core-coq
diff --git a/src/SAWScript/Prover/Exporter.hs b/src/SAWScript/Prover/Exporter.hs
@@ -37,7 +37,7 @@ import qualified Data.ByteString as BS
 import Data.Parameterized.Nonce (globalNonceGenerator)
 import Data.Set (Set)
 import qualified Data.SBV.Dynamic as SBV
-import Text.PrettyPrint.ANSI.Leijen (vcat)
+import Prettyprinter (vcat)
 
 import Cryptol.Utils.PP(pretty)
+1 −1		saw-core-coq.cabal
+40 −26		src/Language/Coq/Pretty.hs
+10 −7		src/Verifier/SAW/Translation/Coq.hs
+2 −2		src/Verifier/SAW/Translation/Coq/SAWModule.hs
+10 −8		src/Verifier/SAW/Translation/Coq/Term.hs