diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index f0726c7b23..721a074e90 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -65,7 +65,6 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
-#include "opt_compat.h"
 #include "opt_ntp.h"
 #include "opt_ffclock.h"