From f26c1ca12457a1456fdd85e1fdcee657c0e26027 Mon Sep 17 00:00:00 2001
From: Julien Voisin <jvoisin@users.noreply.github.com>
Date: Mon, 22 Aug 2022 19:51:45 +0200
Subject: [PATCH] Use proper FuzzedDataProvider headers (#8312)

Co-authored-by: Julien Voisin <jvoisin@google.com>
---
 projects/wabt/read_binary_interp_fuzzer.cc | 2 +-
 projects/wabt/read_binary_ir_fuzzer.cc     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/projects/wabt/read_binary_interp_fuzzer.cc b/projects/wabt/read_binary_interp_fuzzer.cc
index 3e9dbc697..86f4065e0 100644
--- a/projects/wabt/read_binary_interp_fuzzer.cc
+++ b/projects/wabt/read_binary_interp_fuzzer.cc
@@ -15,7 +15,7 @@
 #include <cstddef>
 #include <cstdint>
 
-#include "FuzzedDataProvider.h"
+#include <fuzzer/FuzzedDataProvider.h>
 
 #include "wabt/src/binary-reader.h"
 #include "wabt/src/interp/binary-reader-interp.h"
diff --git a/projects/wabt/read_binary_ir_fuzzer.cc b/projects/wabt/read_binary_ir_fuzzer.cc
index 85edc7ec4..16203070a 100644
--- a/projects/wabt/read_binary_ir_fuzzer.cc
+++ b/projects/wabt/read_binary_ir_fuzzer.cc
@@ -15,7 +15,7 @@
 #include <cstddef>
 #include <cstdint>
 
-#include "FuzzedDataProvider.h"
+#include <fuzzer/FuzzedDataProvider.h>
 
 #include "wabt/src/binary-reader-ir.h"
 #include "wabt/src/binary-reader.h"