From f656fb4279fb944179dd5b1d11086156c2d87175 Mon Sep 17 00:00:00 2001
From: Snaipe <franklinmathieu@gmail.com>
Date: Wed, 18 Nov 2015 13:12:51 +0100
Subject: [PATCH] Added missing header files in cmake install files

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 75cb3fe..21e630e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -211,6 +211,8 @@ set(INTERFACE_FILES
   include/criterion/internal/asprintf-compat.h
   include/criterion/internal/designated-initializer-compat.h
   include/criterion/internal/preprocess.h
+  include/criterion/internal/theories.h
+  include/criterion/internal/parameterized.h
 )
 
 # Generate the configure file