summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mplibdir/memio.w
diff options
context:
space:
mode:
authorTaco Hoekwater <taco@elvenkind.com>2009-04-22 14:59:30 +0000
committerTaco Hoekwater <taco@elvenkind.com>2009-04-22 14:59:30 +0000
commit6619094417b7606acce5c62de157d426351d5775 (patch)
treeec43633a720cfc6a3a397e40761add44d7d20878 /Build/source/texk/web2c/mplibdir/memio.w
parent7e47c9020771d03e870046d5e7131c3dc5b03e61 (diff)
Import mplib version 1.200
git-svn-id: svn://tug.org/texlive/trunk@12790 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/memio.w')
-rw-r--r--Build/source/texk/web2c/mplibdir/memio.w2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mplibdir/memio.w b/Build/source/texk/web2c/mplibdir/memio.w
index d2393d0fb96..f5492f713b5 100644
--- a/Build/source/texk/web2c/mplibdir/memio.w
+++ b/Build/source/texk/web2c/mplibdir/memio.w
@@ -352,6 +352,7 @@ dump_int(mp->max_internal);
dump_int(mp->int_ptr);
for (k=1;k<= mp->int_ptr;k++ ) {
dump_int(mp->internal[k]);
+ dump_int(mp->int_type[k]);
dump_string(mp->int_name[k]);
}
dump_int(mp->start_sym);
@@ -366,6 +367,7 @@ if (x>mp->max_internal) mp_grow_internals(mp,x);
undump_int(mp->int_ptr);
for (k=1;k<= mp->int_ptr;k++) {
undump_int(mp->internal[k]);
+ undump_int(mp->int_type[k]);
undump_string(mp->int_name[k]);
}
undump(0,frozen_inaccessible,mp->start_sym);