ocaml-cil/cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch
2017-05-22 16:02:41 +02:00

22 lines
758 B
Diff

diff -up cil-1.7.3/doc/cilcode.pl.orig cil-1.7.3/doc/cilcode.pl
--- cil-1.7.3/doc/cilcode.pl.orig 2017-05-22 15:52:31.539144084 +0200
+++ cil-1.7.3/doc/cilcode.pl 2017-05-22 15:53:22.750818950 +0200
@@ -45,7 +45,7 @@ binmode STDOUT;
my $lineno = 0;
while(<>) {
$lineno ++;
- if(! $incode && $_ =~ m|^\\begin{cilcode}\[(.*)\](.*)$|) {
+ if(! $incode && $_ =~ m|^\\begin\{cilcode}\[(.*)\](.*)$|) {
$opt = $1;
$cil_options = $2;
$incode = 1;
@@ -60,7 +60,7 @@ while(<>) {
print "\\begin{code}\n";
next;
}
- if($incode && $_ =~ m|^\\end{cilcode}$|) {
+ if($incode && $_ =~ m|^\\end\{cilcode}$|) {
$incode = 0;
if($opt eq 'local') {
print TSTSRC $postambleLocal;