diff options
Diffstat (limited to 'connectivity/inc/pch/precompiled_dbase.hxx')
-rw-r--r-- | connectivity/inc/pch/precompiled_dbase.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/connectivity/inc/pch/precompiled_dbase.hxx b/connectivity/inc/pch/precompiled_dbase.hxx index e98e54cbd6e2..2d07d4e4ea4f 100644 --- a/connectivity/inc/pch/precompiled_dbase.hxx +++ b/connectivity/inc/pch/precompiled_dbase.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-04-25 20:54:52 using: + Generated on 2020-07-09 17:06:17 using: ./bin/update_pch connectivity dbase --cutoff=2 --exclude:system --include:module --include:local If after updating build fails, use the following command to locate conflicting headers: @@ -33,6 +33,7 @@ #include <math.h> #include <memory> #include <new> +#include <optional> #include <ostream> #include <stack> #include <stddef.h> |