diff --git a/deps/cryptol-specs b/deps/cryptol-specs
index 0365dca32d..423fd3f381 160000
--- a/deps/cryptol-specs
+++ b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit 0365dca32d13d6fc12a93ded11b686e18e6490eb
+Subproject commit 423fd3f381b3337c9d9ac52760019bf03f4314ae
diff --git a/heapster-saw/src/Verifier/SAW/Heapster/LLVMGlobalConst.hs b/heapster-saw/src/Verifier/SAW/Heapster/LLVMGlobalConst.hs
index 7e3be7f752..da6e07c0bb 100644
--- a/heapster-saw/src/Verifier/SAW/Heapster/LLVMGlobalConst.hs
+++ b/heapster-saw/src/Verifier/SAW/Heapster/LLVMGlobalConst.hs
@@ -87,7 +87,7 @@ traceAndZeroM msg =
 -- | Helper function to pretty-print the value of a global
 ppLLVMValue :: L.Value -> String
 ppLLVMValue val =
-  ppLLVMLatest (show $ PPHPJ.nest 2 $ L.ppValue val)
+  show $ PPHPJ.nest 2 $ ppValue val
 
 -- | Helper function to pretty-print an LLVM constant expression
 ppLLVMConstExpr :: L.ConstExpr -> String