diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 54ed94b..f873195 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -76,7 +76,7 @@ if (BUILD_LIBFUZZER)
    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\"")
+       "LIBFUZZER;LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
 endif()
 
 add_executable(IntegerArithmetic IntegerArithmetic.cpp)