diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 2522a452dff..f36e64e06fe 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -23,7 +23,8 @@ macro(generic_bison name)
     endif()
 
     set(bison_source "${name}_y.tab.cpp")
-    set_source_files_properties(${bison_source} PROPERTIES COMPILE_FLAGS -Dyyalloc=${name}_yyalloc)
+    set_source_files_properties(${bison_source} PROPERTIES
+      COMPILE_FLAGS "-Dyyalloc=${name}_yyalloc -Dyysymbol_kind_t=${name}_yysymbol_kind_t")
     if(EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/${bison_source}")
         message(FATAL_ERROR "Generated file ${bison_source} found in source tree. If you previously built with `make`, run `make clean` and try again")
     endif()