Address comments.

GaloisInc · Jan 16, 2024 · 8e095ee · 8e095ee
1 parent f755d49
commit 8e095ee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git 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