better code and fixes potential debugging headache (#1599)

BinaryAnalysisPlatform · Feb 26, 2024 · f969db3 · f969db3
1 parent 637276d
commit f969db3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/primus_test/primus_test_main.ml b/plugins/primus_test/primus_test_main.ml
@@ -186,7 +186,7 @@ module Location = struct
       ~new_representative
       ~new_instance
       ~new_class =
-    let traces = List.filter_map ~f:(Map.find locations) traces in
+    let traces = List.map ~f:(Map.find_exn locations) traces in
     let points = List.map ~f:set_of_trace traces in
     let cls' = {points; traces} in
     match Map.find incidents name with