summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mplibdir/memio.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/memio.w')
-rw-r--r--Build/source/texk/web2c/mplibdir/memio.w12
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;