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, 0 insertions, 20 deletions
diff --git a/extra/raptor/fix-soprano-bug.patch b/extra/raptor/fix-soprano-bug.patch
deleted file mode 100644
index ec7f087e0..000000000
--- a/extra/raptor/fix-soprano-bug.patch
+++ /dev/null
@@ -1,20 +0,0 @@
-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';