diff options
Diffstat (limited to 'cui/inc')
| -rw-r--r-- | cui/inc/pch/precompiled_cui.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cui/inc/pch/precompiled_cui.hxx b/cui/inc/pch/precompiled_cui.hxx index 49dd93b1e757..b801adaf4f52 100644 --- a/cui/inc/pch/precompiled_cui.hxx +++ b/cui/inc/pch/precompiled_cui.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 2021-03-20 10:37:46 using: + Generated on 2021-04-06 09:16:14 using: ./bin/update_pch cui cui --cutoff=8 --exclude:system --include:module --exclude:local If after updating build fails, use the following command to locate conflicting headers: @@ -43,6 +43,7 @@ #include <new> #include <optional> #include <ostream> +#include <safeint.h> #include <set> #include <stack> #include <stddef.h> |