From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Thu, 23 Apr 2015 12:23:24 +0000 (+0200)
Subject: model-checker : missing header
X-Git-Tag: v3_12~732^2~50^2~9
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ad1dc29bdc5f65345b3718cd696b67d167551b75

model-checker : missing header
---

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