From dc0ce6ffbb428263e14d1ad7382595b4a8934e06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 2 Aug 2023 17:08:44 +0200
Subject: [PATCH] [Eva] "callstack" is now a debug key from Eva (and not from
the kernel).
---
src/plugins/eva/types/callstack.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/types/callstack.ml b/src/plugins/eva/types/callstack.ml
index 59d31207ef8..5a081927108 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 ""
--
GitLab