diff options
Diffstat (limited to 'src/stream_manager.h')
| -rw-r--r-- | src/stream_manager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/stream_manager.h b/src/stream_manager.h index 7275402..701b33c 100644 --- a/src/stream_manager.h +++ b/src/stream_manager.h @@ -246,6 +246,7 @@ public: void print( FILE *fp); void push( stream_operation op ); bool operation(bool * sim); + void stop_all_running_kernels(); private: void print_impl( FILE *fp); |