Fix

Author: tautschnig

src/CMakeLists.txt

@@ -64,7 +64,7 @@ endmacro(generic_flex)
 macro(generic_includes name)
     target_include_directories(${name}
         PUBLIC
-        ${CBMC_BINARY_DIR}
+        ${CBMC_BINARY_DIR}/src
         ${CBMC_SOURCE_DIR}/src
         ${CMAKE_CURRENT_BINARY_DIR}
         ${CMAKE_CURRENT_SOURCE_DIR}