From efcff311a9e0f2329dd9634de7d7548ab0d5562e Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 17 Jun 2016 12:45:06 +0200
Subject: [PATCH] make dist: use the right file names

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index d46f4b2d29..78f127106c 100644
--- 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/simix/sync.hpp
+  include/simgrid/simix/blocking_simcall.hpp
   include/simgrid/kernel/future.hpp
   include/simgrid/host.h
   include/simgrid/link.h
-- 
2.20.1