From e559cb62e113ee6b3d62969b6c7268931433eb6a Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Wed, 18 Dec 2024 15:22:29 +0100 Subject: [PATCH] Brainfart --- src/analyses/mCP.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/analyses/mCP.ml b/src/analyses/mCP.ml index 0420931ffd..b972195bad 100644 --- a/src/analyses/mCP.ml +++ b/src/analyses/mCP.ml @@ -83,11 +83,11 @@ struct check_deps !activated; activated := topo_sort_an !activated; begin - match get_string_list "ana.man_sens" with - | [] -> (* use values of "ana.man_insens" (blacklist) *) - let cont_inse = map' find_id @@ get_string_list "ana.man_insens" in + match get_string_list "ana.ctx_sens" with + | [] -> (* use values of "ana.ctx_insens" (blacklist) *) + let cont_inse = map' find_id @@ get_string_list "ana.ctx_insens" in activated_context_sens := List.filter (fun (n, _) -> not (List.mem n cont_inse)) !activated; - | sens -> (* use values of "ana.man_sens" (whitelist) *) + | sens -> (* use values of "ana.ctx_sens" (whitelist) *) let cont_sens = map' find_id @@ sens in activated_context_sens := List.filter (fun (n, _) -> List.mem n cont_sens) !activated; end;