and now, I try to compile my code before comitting (not my fault, they said 'commit...

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 834d497..06c14be 100644 (file)
--- 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/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
 )
 
        src/mc/mc_liveness.c
 )