diff --git a/infer/src/IR/Errlog.ml b/infer/src/IR/Errlog.ml index e7aa328ac..db26f95ef 100644 --- a/infer/src/IR/Errlog.ml +++ b/infer/src/IR/Errlog.ml @@ -266,7 +266,7 @@ let log_issue procname ~clang_method_kind severity err_log ~loc ~node ~session ~ let node_id, node_key = match node with | UnknownNode -> - (0, Some Procdesc.NodeKey.dummy) + (0, None) | FrontendNode {node_key} -> (0, Some node_key) | BackendNode {node} -> diff --git a/infer/src/IR/Procdesc.ml b/infer/src/IR/Procdesc.ml index f542cd95a..fec8314af 100644 --- a/infer/src/IR/Procdesc.ml +++ b/infer/src/IR/Procdesc.ml @@ -24,8 +24,6 @@ module NodeKey = struct let of_frontend_node_key = Utils.better_hash - - let dummy = Utils.better_hash "DUMMY" end (* =============== START of module Node =============== *) diff --git a/infer/src/IR/Procdesc.mli b/infer/src/IR/Procdesc.mli index 4beb51a8e..b234a961b 100644 --- a/infer/src/IR/Procdesc.mli +++ b/infer/src/IR/Procdesc.mli @@ -11,8 +11,6 @@ open! IStd module NodeKey : sig type t - val dummy : t - val to_string : t -> string val of_frontend_node_key : string -> t