diff options
Diffstat (limited to 'stm/timer.c')
| -rw-r--r-- | stm/timer.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stm/timer.c b/stm/timer.c index 28148b0c1b..2605d4b4bc 100644 --- a/stm/timer.c +++ b/stm/timer.c @@ -9,7 +9,6 @@ #include "misc.h" #include "mpconfig.h" #include "parse.h" -#include "compile.h" #include "obj.h" #include "runtime.h" |