diff options
Diffstat (limited to 'runner/executor.h')
| -rw-r--r-- | runner/executor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runner/executor.h b/runner/executor.h index 252339ab..12883f15 100644 --- a/runner/executor.h +++ b/runner/executor.h @@ -13,6 +13,7 @@ struct execute_state * > 0 : Timeout in use, time left. */ double time_left; + double resuming; }; enum { |