From ad1dc29bdc5f65345b3718cd696b67d167551b75 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Thu, 23 Apr 2015 14:23:24 +0200
Subject: [PATCH] model-checker : missing header

---
 buildtools/Cmake/DefinePackages.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 15a6ec5c8f..79652e1ad5 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -618,6 +618,7 @@ set(MC_SRC
   src/mc/mc_dwarf_tagnames.h
   src/mc/mc_hash.c
   src/mc/mc_ignore.c
+  src/mc/mc_ignore.h
   src/mc/mc_interface.h
   src/mc/mc_liveness.h
   src/mc/mc_location.h
-- 
2.20.1