summaryrefslogtreecommitdiff
path: root/extra/raptor/fix-soprano-bug.patch
diff options
context:
space:
mode:
Diffstat (limited to 'extra/raptor/fix-soprano-bug.patch')
-rw-r--r--extra/raptor/fix-soprano-bug.patch20
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';