From eb06ff77bff6c339a5c2a7aaa67a74401a102c16 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 23 May 2022 20:09:46 +0200
Subject: [PATCH] pgf_clone_concrete must release the old concrete

---
 src/runtime/c/pgf/pgf.cxx | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/runtime/c/pgf/pgf.cxx b/src/runtime/c/pgf/pgf.cxx
index a8877d567..363d5808f 100644
--- a/src/runtime/c/pgf/pgf.cxx
+++ b/src/runtime/c/pgf/pgf.cxx
@@ -1294,6 +1294,8 @@ PgfConcrRevision pgf_clone_concrete(PgfDB *db, PgfRevision revision,
             namespace_insert(pgf->concretes, clone);
         pgf->concretes = concrs;
 
+        PgfDB::free(concr, concr->name.size+1);
+
         db->ref_count++;
         return rev;
     } PGF_API_END