From 367103075b9f31b199a5f8a377989defe29a2104 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 30 Jan 2012 15:28:00 +0100
Subject: [PATCH] and now, I try to compile my code before comitting (not my
 fault, they said 'commit soon, commit often' :-P)

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 834d4978ce..06c14befc8 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -374,7 +374,7 @@ set(MC_SRC
 	src/mc/mc_global.c
 	src/mc/mc_dpor.c
 	src/mc/mc_request.c
-	src/mc/private.h
+	src/mc/mc_private.h
 	src/mc/mc_liveness.c
 )
 
-- 
2.20.1