blob: 9695d26c26a1ce0fc4ccae018db40fe02b3eb2ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff -Nur feynmf-orig/feynmf.pl feynmf/feynmf.pl
--- feynmf-orig/feynmf.pl 1996-12-02 01:00:00.000000000 +0100
+++ feynmf/feynmf.pl 2004-09-02 23:25:40.603910119 +0200
@@ -373,7 +373,7 @@
maybe_run "$gftopk_prog $gf" if $gftopk_prog;
}
}
- close (<LOG>);
+ close (LOG);
}
}
}
|