diff options
| author | ruki <[email protected]> | 2017-08-04 15:37:44 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-08-04 15:37:44 +0800 |
| commit | fada840909bf5e61e3d5c8bed84722166f5adda0 (patch) | |
| tree | 2872417ab3ef455ae7fa746b8188ea1df83f1596 /tests/projects/precompiled_header_c++/src/header.h | |
| parent | b9f40db69152c3458b2a0dcd1b99eb094e578a0d (diff) | |
improve precompiled header
Diffstat (limited to 'tests/projects/precompiled_header_c++/src/header.h')
| -rw-r--r-- | tests/projects/precompiled_header_c++/src/header.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/projects/precompiled_header_c++/src/header.h b/tests/projects/precompiled_header_c++/src/header.h index 39e07b7ce..d62b78383 100644 --- a/tests/projects/precompiled_header_c++/src/header.h +++ b/tests/projects/precompiled_header_c++/src/header.h @@ -8,7 +8,7 @@ #include <map> #include <memory> #include <set> -#include <thread> +//#include <thread> #include <utility> #include <vector> |