From cbcbbc9134952cfbb7bac5ae896aba45a3ef2a8f Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Tue, 14 Dec 2021 10:15:32 +0100
Subject: [PATCH] if there are no productions for a function, don't create
 PgfConcrLin at all

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

diff --git a/src/runtime/c/pgf/pgf.cxx b/src/runtime/c/pgf/pgf.cxx
index 5462ebebb..949bfcdf3 100644
--- a/src/runtime/c/pgf/pgf.cxx
+++ b/src/runtime/c/pgf/pgf.cxx
@@ -1934,6 +1934,9 @@ void pgf_create_lin(PgfDB *db,
                     PgfBuildLinIface *build,
                     PgfExn *err)
 {
+    if (n_prods == 0)
+        return;
+
     PGF_API_BEGIN {
         DB_scope scope(db, WRITER_SCOPE);