diff options
Diffstat (limited to 'src/include/kernel/ptmgr.H')
| -rw-r--r-- | src/include/kernel/ptmgr.H | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/include/kernel/ptmgr.H b/src/include/kernel/ptmgr.H index d6e6be151..da0a96aed 100644 --- a/src/include/kernel/ptmgr.H +++ b/src/include/kernel/ptmgr.H @@ -5,7 +5,7 @@ /* */ /* OpenPOWER HostBoot Project */ /* */ -/* Contributors Listed Below - COPYRIGHT 2011,2015 */ +/* Contributors Listed Below - COPYRIGHT 2011,2019 */ /* [+] International Business Machines Corp. */ /* */ /* */ @@ -28,7 +28,6 @@ #include <stdint.h> #include <util/lockfree/stack.H> #include <kernel/vmmmgr.H> -#include <config.h> /** * @class PageTableManager |
