diff options
| author | fearlessTobi <thm.frey@gmail.com> | 2018-10-02 16:04:10 +0200 |
|---|---|---|
| committer | fearlessTobi <thm.frey@gmail.com> | 2018-10-02 16:04:10 +0200 |
| commit | e4daf4bee522c046e5e01eeed2c5b12bd91f489e (patch) | |
| tree | 77694bd695f1ebffadb67e871bdb6a2f568c6415 /src/common | |
| parent | ac06105dfe9c7e5306e1f4cac0ee12dc5f72f14e (diff) | |
Review comments - part 5
Diffstat (limited to 'src/common')
| -rw-r--r-- | src/common/detached_tasks.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/common/detached_tasks.h b/src/common/detached_tasks.h index eae27788d..5dd8fc27b 100644 --- a/src/common/detached_tasks.h +++ b/src/common/detached_tasks.h @@ -3,6 +3,7 @@ // Refer to the license.txt file included. #pragma once + #include <condition_variable> #include <functional> |