diff options
| author | krasimir <krasimir@chalmers.se> | 2015-05-19 09:15:48 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-05-19 09:15:48 +0000 |
| commit | 786da46a9913df3ad27e1631cf4de75d9186aeb0 (patch) | |
| tree | 24b64410dbced495b52df434e03b7f505d035ce9 /src/runtime/c/utils | |
| parent | 616a24cba4fe018adfc2c071eb16b542ae08ec86 (diff) | |
added callback in C for unknown words
Diffstat (limited to 'src/runtime/c/utils')
| -rw-r--r-- | src/runtime/c/utils/pgf-translate.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c index b99a8f3fd..00506e4cc 100644 --- a/src/runtime/c/utils/pgf-translate.c +++ b/src/runtime/c/utils/pgf-translate.c @@ -91,6 +91,8 @@ int main(int argc, char* argv[]) { pgf_new_callbacks_map(from_concr, pool); pgf_callbacks_map_add_literal(from_concr, callbacks, "PN", &pgf_nerc_literal_callback); + pgf_callbacks_map_add_literal(from_concr, callbacks, + "Symb", &pgf_unknown_literal_callback); // Create an output stream for stdout GuOut* out = gu_file_out(stdout, pool); |