From a982a4d15f0efb40e870e00b4f5d07d2137cec3b Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 6 Aug 2015 11:51:23 +0000 Subject: [PATCH] bugfix in lookup_morpho in the C runtime --- src/runtime/c/pgf/parser.c | 3 +++ 1 file changed, 3 insertions(+) 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;