diff --git a/src/advanced_examples/explore_me.cpp b/src/advanced_examples/explore_me.cpp
index aa4c4ae..dd6ebde 100644
--- a/src/advanced_examples/explore_me.cpp
+++ b/src/advanced_examples/explore_me.cpp
@@ -4,4 +4,11 @@ static void trigger_double_free() {
     int* ptr = new int(42); // Allocate memory
     delete ptr; // Free memory
     ptr = nullptr; // Set pointer to null to avoid double free
-}
\ No newline at end of file
+}
+
+static void trigger_double_free() {
+    // Example implementation that avoids double free
+    int* ptr = new int(42); // Allocate memory
+    delete ptr; // Free memory
+    ptr = nullptr; // Set pointer to null to avoid double free
+}
diff --git a/src/state_example/mocks.cpp b/src/state_example/mocks.cpp
index 7def44e..69e7711 100644
--- a/src/state_example/mocks.cpp
+++ b/src/state_example/mocks.cpp
@@ -27,6 +27,9 @@ static FuzzedDataProvider *gFDP;
 void SetFDP(FuzzedDataProvider *fuzzed_data_provider) {
   gFDP = fuzzed_data_provider;
 }
+void SetFDP(FuzzedDataProvider *fuzzed_data_provider) {
+  gFDP = fuzzed_data_provider;
+}
 
 FuzzedDataProvider *GetFDP() { return gFDP; }