contrib/fuzz/fuzzutil.cc
changeset 38174 36d55f90e2a3
parent 38173 fa0ddd5e8fff
child 38232 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);