diff options
| author | krasimir <krasimir@chalmers.se> | 2017-06-01 09:08:42 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-06-01 09:08:42 +0000 |
| commit | 2af8ffb2696bbd5970cbf633230564840bd02adb (patch) | |
| tree | e2ce320332b683067801d74a5b8410a9a188a243 /src/runtime | |
| parent | 20a488731182d96a732cc770d67e4ae265587cef (diff) | |
fix in the lookup debuger
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/c/pgf/lookup.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/lookup.c b/src/runtime/c/pgf/lookup.c index 3e37bb2c9..700991222 100644 --- a/src/runtime/c/pgf/lookup.c +++ b/src/runtime/c/pgf/lookup.c @@ -36,7 +36,6 @@ pgf_print_abs_production(PgfMetaId id, gu_printf(out,err," ?%d", prod->args[i]); } gu_printf(out,err," [%d]\n",prod->count); - gu_putc('\n',out,err); } static void |