summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rw-r--r--Build/source/texk/web2c/ChangeLog4
-rw-r--r--Build/source/texk/web2c/dvitype.ch1
2 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index fe7fa3586e6..819df641297 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -1,3 +1,7 @@
+2015-07-28 Peter Breitenlohner <peb@mppmu.mpg.de>
+
+ * dvitype.ch: Removed a spurious duplicate statement.
+
2015-07-10 Peter Breitenlohner <peb@mppmu.mpg.de>
* mftraptest (removed): Renamed ...
diff --git a/Build/source/texk/web2c/dvitype.ch b/Build/source/texk/web2c/dvitype.ch
index 9e9a9bbc872..aee01c08234 100644
--- a/Build/source/texk/web2c/dvitype.ch
+++ b/Build/source/texk/web2c/dvitype.ch
@@ -668,7 +668,6 @@ long_options[current_option].has_arg := 0;
long_options[current_option].flag := address_of (show_opcodes);
long_options[current_option].val := 1;
incr (current_option);
-new_mag := 0; {default is to keep the old one}
@ @<Glob...@> =
@!show_opcodes: c_int_type;