From 9166015cf7cebc188ce302132b6fec3cb141567d Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Sat, 10 May 2014 09:47:58 +0100 Subject: [PATCH] Remove some unused headers. Copied from Perforce Change: 185994 ServerID: perforce.ravenbrook.com --- mps/code/clock.h | 1 - mps/code/misc.h | 2 -- 2 files changed, 3 deletions(-) diff --git a/mps/code/clock.h b/mps/code/clock.h index 253f7a5e0e4..d5fd7bc0e4e 100644 --- a/mps/code/clock.h +++ b/mps/code/clock.h @@ -7,7 +7,6 @@ #ifndef clock_h #define clock_h -#include #include "mpmtypes.h" /* for Word */ diff --git a/mps/code/misc.h b/mps/code/misc.h index fed416157dd..7380421d5c5 100644 --- a/mps/code/misc.h +++ b/mps/code/misc.h @@ -13,8 +13,6 @@ #ifndef misc_h #define misc_h -#include - typedef int Bool; /* */ enum BoolEnum {