diff options
Diffstat (limited to 'extra/raptor/fix-soprano-bug.patch')
-rw-r--r-- | extra/raptor/fix-soprano-bug.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/extra/raptor/fix-soprano-bug.patch b/extra/raptor/fix-soprano-bug.patch new file mode 100644 index 000000000..ec7f087e0 --- /dev/null +++ b/extra/raptor/fix-soprano-bug.patch @@ -0,0 +1,20 @@ +diff --git a/src/turtle_lexer.l b/src/turtle_lexer.l +index c2f249b..f133747 100644 +--- a/src/turtle_lexer.l ++++ b/src/turtle_lexer.l +@@ -381,9 +381,13 @@ EXPONENT [eE][+-]?[0-9]+ + while(1) { + int c = yytext[yyleng - 1]; + if(c == '{' || c == ' ' || c=='\t' || c == '\v' || c == '\n' || +- c == ':' || c == '-') { ++ c == '=' ) { + yyleng--; +- } else ++ } ++ else if ( yyleng >= 2 && ( c == '-' && yytext[yyleng - 2] == ':' ) ) { ++ yyleng -= 2; ++ } ++ else + break; + } + yytext[yyleng] = '\0'; |