From dfa2c7873b22b9ac6e6171a1c2f2404e3787eab5 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 8 Mar 2023 19:21:18 +0100 Subject: [PATCH] fix merge_pgf after the latest refactory --- src/runtime/c/pgf/reader.cxx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/c/pgf/reader.cxx b/src/runtime/c/pgf/reader.cxx index 26355bb8a..325d8377b 100644 --- a/src/runtime/c/pgf/reader.cxx +++ b/src/runtime/c/pgf/reader.cxx @@ -893,7 +893,7 @@ void PgfReader::merge_pgf(ref pgf) ref concr = PgfReader::read_concrete(); Namespace concretes = namespace_insert(pgf->concretes, concr); - if (concretes != 0) + if (concretes == 0) throw pgf_error("One and the same concrete syntax is included in several PGF files"); pgf->concretes = concretes; }