diff options
author | Thomas Zander <riggs@FreeBSD.org> | 2014-09-03 19:58:36 +0000 |
---|---|---|
committer | Thomas Zander <riggs@FreeBSD.org> | 2014-09-03 19:58:36 +0000 |
commit | 75b430129cdc6b608ab021e0b2b5639a5d33448c (patch) | |
tree | c05e43a0ae0eb262574e9ca98a12ffb2812d2fbd /lang/maude/files/patch-src__Mixfix__bottom.yy | |
parent | 8eb0c5a71dd24473659702bf0ce8d609376caab3 (diff) | |
download | ports-75b430129cdc6b608ab021e0b2b5639a5d33448c.tar.gz ports-75b430129cdc6b608ab021e0b2b5639a5d33448c.zip |
Notes
Diffstat (limited to 'lang/maude/files/patch-src__Mixfix__bottom.yy')
-rw-r--r-- | lang/maude/files/patch-src__Mixfix__bottom.yy | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/maude/files/patch-src__Mixfix__bottom.yy b/lang/maude/files/patch-src__Mixfix__bottom.yy new file mode 100644 index 000000000000..5da5f16bd82f --- /dev/null +++ b/lang/maude/files/patch-src__Mixfix__bottom.yy @@ -0,0 +1,11 @@ +--- ./src/Mixfix/bottom.yy.orig 2014-09-03 02:49:14.000000000 +0200 ++++ ./src/Mixfix/bottom.yy 2014-09-03 02:50:56.000000000 +0200 +@@ -23,7 +23,7 @@ + %% + + static void +-yyerror(char *s) ++yyerror(UserLevelRewritingContext::ParseResult *parseResult, char *s) + { + if (!(UserLevelRewritingContext::interrupted())) + IssueWarning(LineNumber(lineNumber) << ": " << s); |