diff options
Diffstat (limited to 'include/framework/scheduling/SerialScheduler.h')
| -rw-r--r-- | include/framework/scheduling/SerialScheduler.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/framework/scheduling/SerialScheduler.h b/include/framework/scheduling/SerialScheduler.h index b6ebe53..6a8ed58 100644 --- a/include/framework/scheduling/SerialScheduler.h +++ b/include/framework/scheduling/SerialScheduler.h @@ -37,7 +37,8 @@ public: t(0); } - void shutdown() { /* intentionally left blank */ } + void shutdown() { /* intentionally left blank */ + } void print_statistics() { m_stats.print_statistics(); } void print_query_time_data() { m_stats.print_query_time_data(); } |