diff options
Diffstat (limited to 'includes/Rts.h')
| -rw-r--r-- | includes/Rts.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/includes/Rts.h b/includes/Rts.h index 77eeb31f3a..190200aa34 100644 --- a/includes/Rts.h +++ b/includes/Rts.h @@ -220,7 +220,6 @@ INLINE_HEADER Time fsecondsToTime (double t) /* Other RTS external APIs */ #include "rts/Parallel.h" -#include "rts/Hooks.h" #include "rts/Signals.h" #include "rts/BlockSignals.h" #include "rts/Hpc.h" |