diff options
| author | John R. Lenton <jlenton@gmail.com> | 2014-01-03 22:55:16 +0000 |
|---|---|---|
| committer | John R. Lenton <jlenton@gmail.com> | 2014-01-03 22:55:16 +0000 |
| commit | 97334c85d0b53ef1648eb76ec6e9e2b1efab1f97 (patch) | |
| tree | d10f6b6b7ca3394e6f7dc31ca55e0df2b39abe02 /stm/timer.c | |
| parent | 25f417c08c2cdb5c4a7564d1e69766c0448d7984 (diff) | |
| parent | b7aa72710ee6798c6d2bc2632be24206e526fc1e (diff) | |
Merge remote-tracking branch 'upstream/master'
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 28148b0c1..2605d4b4b 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" |