make dist: use the right file names

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index d46f4b2..78f1271 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -634,7 +634,7 @@ set(headers_to_install
   include/simgrid/forward.h
   include/simgrid/simix.h
   include/simgrid/simix.hpp
   include/simgrid/forward.h
   include/simgrid/simix.h
   include/simgrid/simix.hpp

-  include/simgrid/simix/sync.hpp
+  include/simgrid/simix/blocking_simcall.hpp

   include/simgrid/kernel/future.hpp
   include/simgrid/host.h
   include/simgrid/link.h
   include/simgrid/kernel/future.hpp
   include/simgrid/host.h
   include/simgrid/link.h