From 30717ac8b75cfec7146a40a6cdcd709219ce3994 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 18 Sep 2023 13:14:15 +0200
Subject: [PATCH] temporary disable the automaton generation for the GitHub
 version

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

diff --git a/src/runtime/c/pgf/reader.cxx b/src/runtime/c/pgf/reader.cxx
index 59d2b2f9b..118a6ae4e 100644
--- a/src/runtime/c/pgf/reader.cxx
+++ b/src/runtime/c/pgf/reader.cxx
@@ -772,8 +772,8 @@ ref<PgfConcr> PgfReader::read_concrete()
 	auto printnames = read_namespace<PgfConcrPrintname>(&PgfReader::read_printname);
 	concrete->printnames = printnames;
 
-    PgfLRTableMaker maker(abstract, concrete);
-    concrete->lrtable = maker.make();
+//    PgfLRTableMaker maker(abstract, concrete);
+//    concrete->lrtable = maker.make();
 
     return concrete;
 }