From 97f5a8a8c2787ef23b63adc5a54afa4911a4a31f Mon Sep 17 00:00:00 2001 From: Dustin Jamner Date: Wed, 2 May 2018 17:12:44 -0400 Subject: [PATCH] Fix function names in docstrings Fixes the function names in two documentation strings that incorrectly refer to another function. --- plugins/primus_taint/primus_taint_main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/primus_taint/primus_taint_main.ml b/plugins/primus_taint/primus_taint_main.ml index 23bd55cb8..6765ad3d6 100644 --- a/plugins/primus_taint/primus_taint_main.ml +++ b/plugins/primus_taint/primus_taint_main.ml @@ -145,12 +145,12 @@ module Setup(Machine : Primus.Machine.S) = struct (module GetIndirect); def "taint-sanitize-direct" (tuple [a; b] @-> c) - "(taint-get-indirect K X) removes any direct taint of the kind + "(taint-sanitize-direct K X) removes any direct taint of the kind K that is directly associated with the value X" (module SanitizeDirect); def "taint-sanitize-indirect" (tuple [a; b] @-> c) - "(taint-get-indirect K X) removes any direct taint of the kind + "(taint-sanitize-indirect K X) removes any direct taint of the kind K that is indirectly associated with the value X" (module SanitizeIndirect);