diff options
Diffstat (limited to 'includes/Rts.h')
| -rw-r--r-- | includes/Rts.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/Rts.h b/includes/Rts.h index 6bf7650f69..5348e73382 100644 --- a/includes/Rts.h +++ b/includes/Rts.h @@ -193,6 +193,7 @@ INLINE_HEADER Time fsecondsToTime (double t) /* Global constaints */ #include "rts/Constants.h" +#include "rts/StaticClosures.h" /* Profiling information */ #include "rts/prof/CCS.h" |