From fb2454767af8c48b9938ef75a664b22050df12ff Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Fri, 3 Sep 2021 19:58:28 +0200
Subject: [PATCH] add method "free"

---
 src/runtime/c/pgf/db.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/runtime/c/pgf/db.h b/src/runtime/c/pgf/db.h
index 326040a36..748d60e88 100644
--- a/src/runtime/c/pgf/db.h
+++ b/src/runtime/c/pgf/db.h
@@ -77,6 +77,11 @@ public:
         return current_db->malloc_internal(bytes);
     }
 
+    template<class A>
+    static void free(ref<A> o) {
+        return current_db->free_internal(o.as_object());
+    }
+
     template<class A>
     static ref<A> get_root() {
         return current_db->get_root_internal();