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/protocols/Handle.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/protocols/Handle.mli')

diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli
index a354257..f413aac 100644
--- a/lib/protocols/Handle.mli
+++ b/lib/protocols/Handle.mli
@@ -5,6 +5,7 @@ type protocol = ..
 class type obj = object
   method reference : bool
   method release : unit
+  method is_managed : bool
   method hash : Concepts.Hash.hash
   method to_string : string
   method protocols : protocol list
-- 
cgit v1.2.3