diff options
Diffstat (limited to 'src/runtime/c/pgf/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index 032834d77..ef68e651f 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -91,6 +91,9 @@ pgf_iter_languages(PgfPGF*, GuMapItor*, GuExn* err); PgfConcr* pgf_get_language(PgfPGF*, PgfCId lang); +GuString +pgf_concrete_name(PgfConcr*); + void pgf_iter_categories(PgfPGF* pgf, GuMapItor* fn, GuExn* err); |