From 0354a7c21cae08cda07864dcb70a76d37fe43375 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Thu, 8 Oct 2026 00:54:55 +0000
Subject: Log whenever managed objects are garbage collected

---
 lib/kernel/Lifecycle.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/kernel/Lifecycle.mli')

diff --git a/lib/kernel/Lifecycle.mli b/lib/kernel/Lifecycle.mli
index d4ef178..a323197 100644
--- a/lib/kernel/Lifecycle.mli
+++ b/lib/kernel/Lifecycle.mli
@@ -1,6 +1,7 @@
 class type lifecycle = object
   method reference : bool
   method release : unit
+  method is_managed : bool
 end
 
 class type virtual controlled_lifecycle = object
-- 
cgit v1.2.3