diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 7b22b6d..774d7c8 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -73,9 +73,9 @@ if (BUILD_LIBFUZZER)
    set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER")
 
   add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.cpp) 
-   target_link_libraries(IntegerOverflow_LF deepstate_LF)
-   target_link_libraries (IntegerOverflow_LF "-fsanitize=fuzzer")
-   set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS
+   target_link_libraries(IntegerOverflow_Addition_LF deepstate_LF)
+   target_link_libraries (IntegerOverflow_Addition_LF "-fsanitize=fuzzer")
+   set_target_properties(IntegerOverflow_Addition_LF PROPERTIES COMPILE_DEFINITIONS
        "LIBFUZZER LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
 endif()