diff options
Diffstat (limited to 'basic')
| -rw-r--r-- | basic/inc/pch/precompiled_sb.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/basic/inc/pch/precompiled_sb.hxx b/basic/inc/pch/precompiled_sb.hxx index 6d01a36f2961..23811f6f5e1d 100644 --- a/basic/inc/pch/precompiled_sb.hxx +++ b/basic/inc/pch/precompiled_sb.hxx @@ -13,7 +13,7 @@ manual changes will be rewritten by the next run of update_pch.sh (which presumably also fixes all possible problems, so it's usually better to use it). - Generated on 2020-09-21 15:20:14 using: + Generated on 2020-12-04 09:59:03 using: ./bin/update_pch basic sb --cutoff=2 --exclude:system --exclude:module --include:local If after updating build fails, use the following command to locate conflicting headers: @@ -28,6 +28,7 @@ #include <stdio.h> #include <stdlib.h> #include <string_view> +#include <type_traits> #include <vector> #endif // PCH_LEVEL >= 1 #if PCH_LEVEL >= 2 |