diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 774d7c8..70c4354 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -75,8 +75,8 @@ if (BUILD_LIBFUZZER)
   add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.cpp) 
    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\"")
+   set_target_properties(IntegerOverflow_Addition_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER")
+   set_target_properties(IntegerOverflow_Addition_LF "LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
 endif()
 
 add_executable(IntegerArithmetic IntegerArithmetic.cpp)