From 4db0f91a96baae6219b1e41921e1adcac869b9c4 Mon Sep 17 00:00:00 2001
From: Frederik Seiffert <frederik@algoriddim.com>
Date: Tue, 19 Mar 2019 18:21:05 +0100
Subject: [PATCH] Added missing private headers to cmake install.

These are included by private.h and should be installed alongside.
---
 private/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/private/CMakeLists.txt b/private/CMakeLists.txt
index a2ee9bdd9..f77a92d41 100644
--- a/private/CMakeLists.txt
+++ b/private/CMakeLists.txt
@@ -14,6 +14,8 @@ if (INSTALL_PRIVATE_HEADERS)
             private.h
             queue_private.h
             source_private.h
+            time_private.h
+            workloop_private.h
           DESTINATION
             "${INSTALL_DISPATCH_HEADERS_DIR}")
 endif()