diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-01-20 22:01:03 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-20 22:01:03 +0000 |
commit | d597f0c29ddef343de58bd40a897412aa426224f (patch) | |
tree | 15855bfa486fbd88ff2f4518581c39891e37e682 /libpager | |
parent | 8c86eb71611645b00041d39825ea5b09088c809d (diff) |
Formerly stubs.c.~4~
Diffstat (limited to 'libpager')
-rw-r--r-- | libpager/stubs.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libpager/stubs.c b/libpager/stubs.c index 577b2a87..b5ec3c45 100644 --- a/libpager/stubs.c +++ b/libpager/stubs.c @@ -18,6 +18,7 @@ #include "priv.h" #include "memory_object.h" +#include <stdio.h> error_t _pager_seqnos_memory_object_copy (mach_port_t old, |