diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-07-22 15:55:30 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-07-22 15:55:30 +0000 |
| commit | cb2dd22bc20582af97f9f3f124ed956fec19858d (patch) | |
| tree | 10d0619a1495a548580c551522535c5fe22d79b4 /libpager/object-terminate.c | |
| parent | 217bae2723bcbf585638096d7b3c5e27a5d783db (diff) | |
entered into RCS
Diffstat (limited to 'libpager/object-terminate.c')
| -rw-r--r-- | libpager/object-terminate.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libpager/object-terminate.c b/libpager/object-terminate.c index fe348b76..571e656a 100644 --- a/libpager/object-terminate.c +++ b/libpager/object-terminate.c @@ -16,7 +16,7 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ #include "priv.h" -#include "memory_object.h" +#include "memory_object_S.h" #include <stdio.h> /* Implement the object termination call from the kernel as described |