diff options
Diffstat (limited to 'writerfilter')
-rw-r--r-- | writerfilter/inc/pch/precompiled_writerfilter.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/writerfilter/inc/pch/precompiled_writerfilter.hxx b/writerfilter/inc/pch/precompiled_writerfilter.hxx index 4189586d1273..ee1dd2289595 100644 --- a/writerfilter/inc/pch/precompiled_writerfilter.hxx +++ b/writerfilter/inc/pch/precompiled_writerfilter.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 2019-04-29 21:19:20 using: + Generated on 2019-05-12 16:58:01 using: ./bin/update_pch writerfilter writerfilter --cutoff=5 --exclude:system --exclude:module --exclude:local If after updating build fails, use the following command to locate conflicting headers: @@ -24,6 +24,7 @@ #include <algorithm> #include <cassert> #include <cstddef> +#include <functional> #include <iomanip> #include <iostream> #include <memory> |