From: Claudio Sacerdoti Coen Date: Mon, 29 Oct 2001 15:56:54 +0000 (+0000) Subject: backpointer ==> backPointer X-Git-Tag: v0_1_3~26 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=50e2ee8fb7fd4a2a14bf60779e1c709b220c6072;p=helm.git backpointer ==> backPointer --- diff --git a/helm/metadata/create2/invert.pl b/helm/metadata/create2/invert.pl index 5616177e8..f4a490dcb 100755 --- a/helm/metadata/create2/invert.pl +++ b/helm/metadata/create2/invert.pl @@ -23,9 +23,9 @@ while(($line1 = ) && not ($line1 =~ /<\/h:Object>/)) { $line2 =~ s/\Q$uri\E/$where/; open(OUT, ">>$who") or die "Error opening file $who"; - print OUT " \n"; + print OUT " \n"; print OUT $line2; - print OUT " \n"; + print OUT " \n"; close(OUT); } close(IN);