From eaa93f82293d6b8651348dd8e14d201851fcd821 Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Wed, 4 Dec 2024 13:23:54 -0500 Subject: [PATCH] llvm: Add a space to a error message --- crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs b/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs index f634717eb..a8373f02c 100644 --- a/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs +++ b/crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs @@ -116,7 +116,7 @@ castLLVMRet fnm bak (LLVMPointerRepr w) (BVRepr w') = let err = AssertFailureSimError "Found a pointer where a bitvector was expected" - ("In the arguments or return value of" ++ Text.unpack (functionName fnm)) in + ("In the arguments or return value of " ++ Text.unpack (functionName fnm)) in Right (ValCast (liftIO . ptrToBv bak err)) castLLVMRet fnm bak (VectorRepr tp) (VectorRepr tp') = do ValCast f <- castLLVMRet fnm bak tp tp'