changeset 38207 | 36d55f90e2a3 |
parent 38206 | fa0ddd5e8fff |
child 38244 | a1c0873a9990 |
--- a/contrib/fuzz/fuzzutil.cc Sat Apr 28 22:18:50 2018 -0400 +++ b/contrib/fuzz/fuzzutil.cc Mon Apr 30 22:02:07 2018 -0400 @@ -2,10 +2,10 @@ #include <utility> -std::optional<two_inputs> SplitInputs(const uint8_t *Data, size_t Size) +contrib::optional<two_inputs> SplitInputs(const uint8_t *Data, size_t Size) { if (!Size) { - return std::nullopt; + return contrib::nullopt; } // figure out a random point in [0, Size] to split our input. size_t left_size = (Data[0] / 255.0) * (Size - 1);