diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/memio.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/memio.w | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/memio.w b/Build/source/texk/web2c/mplibdir/memio.w index f487a4adc2b..d08df1be02a 100644 --- a/Build/source/texk/web2c/mplibdir/memio.w +++ b/Build/source/texk/web2c/mplibdir/memio.w @@ -53,6 +53,10 @@ #include <string.h> #include "mplib.h" #include "mpmp.h" +#include "mpmemio.h" /* internal header */ + +@ @(mpmemio.h@>= +extern void mp_store_mem_file (MP mp); @ @c void mp_store_mem_file (MP mp) { integer k; /* all-purpose index */ @@ -80,7 +84,10 @@ incompatible with the present \MP\ table sizes, etc. goto OFF_BASE; } -@c +@(mpmemio.h@>= +extern boolean mp_load_mem_file (MP mp); + +@ @c boolean mp_load_mem_file (MP mp) { integer k; /* all-purpose index */ pointer p,q; /* all-purpose pointers */ @@ -168,6 +175,9 @@ the same strings. (And it is, of course, a good thing that they do.) @.WEB@> @^string pool@> +@(mpmemio.h@>= +extern int mp_undump_constants (MP mp); + @ @c int mp_undump_constants (MP mp) { integer x; |