From 329dfc36eb586eb6e2facdc72b067339997c83e2 Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Fri, 3 Aug 2018 10:55:06 +0200
Subject: [PATCH] [CMAKE] Well, remove privatized header...

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index b4af3a281d..cd158ddd2c 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -677,7 +677,6 @@ set(headers_to_install
   include/simgrid/plugins/load.h
   include/simgrid/plugins/load_balancer.h
   include/simgrid/smpi/replay.hpp
-  include/simgrid/smpi/sampi.h
   include/simgrid/instr.h
   include/simgrid/mailbox.h
   include/simgrid/msg.h
-- 
2.20.1