fix merge_pgf after the latest refactory

This commit is contained in:
Krasimir Angelov
2023-03-08 19:21:18 +01:00
parent 9dc36a0f5f
commit dfa2c7873b

View File

@@ -893,7 +893,7 @@ void PgfReader::merge_pgf(ref<PgfPGF> pgf)
ref<PgfConcr> concr = PgfReader::read_concrete();
Namespace<PgfConcr> 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;
}