diff options
| author | krasimir <krasimir@chalmers.se> | 2015-10-14 07:36:46 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-10-14 07:36:46 +0000 |
| commit | 46fc386cfba104b5b49ad41465bf920b60291415 (patch) | |
| tree | 586c75762873d04dc94c63106de3f2772c587179 /src/runtime | |
| parent | 8f23e37fe21ea1e26481e9efd72e4c8377d3df0b (diff) | |
bugfix for lookupMorpho in the C runtime
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/c/pgf/parser.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/parser.c b/src/runtime/c/pgf/parser.c index d308943dc..e99c4b400 100644 --- a/src/runtime/c/pgf/parser.c +++ b/src/runtime/c/pgf/parser.c @@ -1026,8 +1026,11 @@ pgf_symbols_cmp(GuString* psent, PgfSymbols* syms, bool case_sensitive) PgfSymbol sym = gu_seq_get(syms, PgfSymbol, i); if (i > 0) { - if (!skip_space(psent)) + if (!skip_space(psent)) { + if (**psent == 0) + return -1; return 1; + } while (**psent != 0) { if (!skip_space(psent)) |