diff --git a/src/plugins/eva/types/callstack.ml b/src/plugins/eva/types/callstack.ml index 59d31207ef87bbeaaf24b2737f6575fd54eeb5d2..5a081927108f0d0d824542f42644adc21b8d2f22 100644 --- a/src/plugins/eva/types/callstack.ml +++ b/src/plugins/eva/types/callstack.ml @@ -22,7 +22,7 @@ let stable_hash x = Hashtbl.seeded_hash 0 x -let dkey_callstack = Kernel.register_category "callstack" +let dkey_callstack = Self.register_category "callstack" module Thread = Int (* Threads are identified by integers *) module Kf = Kernel_function @@ -168,7 +168,7 @@ let base58_of_int n = Bytes.to_string buf let pretty_hash fmt callstack = - if Kernel.is_debug_key_enabled dkey_callstack then + if Self.is_debug_key_enabled dkey_callstack then Format.fprintf fmt "<%s> " (base58_of_int (stable_hash callstack)) else Format.ifprintf fmt ""