diff options
| author | krasimir <krasimir@chalmers.se> | 2015-08-06 11:51:23 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-08-06 11:51:23 +0000 |
| commit | f6796ced2d7b47a1ec2c770a74db811865719cc8 (patch) | |
| tree | 957179b5315ec14f3a3db95de15d2b1937689f2e /src | |
| parent | 7736ba569471de912d60baf217e419a85ed523e8 (diff) | |
bugfix in lookup_morpho in the C runtime
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/c/pgf/parser.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/parser.c b/src/runtime/c/pgf/parser.c index 6d2695a1d..57a714fca 100644 --- a/src/runtime/c/pgf/parser.c +++ b/src/runtime/c/pgf/parser.c @@ -1040,6 +1040,9 @@ pgf_symbols_cmp(GuString* psent, PgfSymbols* syms, bool case_sensitive) return -1; if (i > 0) { + if (!skip_space(psent)) + return 1; + while (**psent != 0) { if (!skip_space(psent)) break; |