From 3b4c6a821a6df75985a8b223a86a3531d182d11e Mon Sep 17 00:00:00 2001 From: Mark Pizzolato Date: Sat, 9 Sep 2023 13:03:12 -1000 Subject: [PATCH] PDP10-KA: Remove irrelevant system include files --- PDP10/ka10_ten11.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/PDP10/ka10_ten11.c b/PDP10/ka10_ten11.c index bacad4e4..89e231fb 100644 --- a/PDP10/ka10_ten11.c +++ b/PDP10/ka10_ten11.c @@ -31,8 +31,6 @@ #endif #if (NUM_DEVS_TEN11 > 0) -#include -#include /* Rubin 10-11 pager. */ static uint64 ten11_pager[256];