Skip to content

Commit 67e7203

Browse files
Clarify message about registering overrides
This is actually where we register _all_ overrides for a given function. This message was confusing to users since it appeared we were only doing one. Fixes #211
1 parent 5528edb commit 67e7203

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/SAWScript/Crucible/LLVM/Builtins.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -651,7 +651,7 @@ registerOverride opts cc _ctx top_loc cs = do
651651
matches (Crucible.LLVMHandleInfo _ h) =
652652
matchingStatics (L.Symbol (Text.unpack (W4.functionName (Crucible.handleName h)))) fsym
653653
liftIO $
654-
printOutLn opts Info $ "Registering override for `" ++ fstr ++ "`"
654+
printOutLn opts Info $ "Registering overrides for `" ++ fstr ++ "`"
655655
case filter matches (Map.elems (llvmctx ^. Crucible.symbolMap)) of
656656
[] -> fail $ "Couldn't find declaration for `" ++ fstr ++ "` when registering override for it."
657657
-- LLVMHandleInfo constructor has two existential type arguments,

0 commit comments

Comments
 (0)