From 33cf14658bb79afbe15f1cdc7c41867db26de697 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Paul=20B=C3=A9daride?= Date: Thu, 19 Dec 2013 12:00:53 +0100 Subject: [PATCH] Fix --- 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 a5b79c9fdb..f4ec3ec8cb 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -10,7 +10,7 @@ set(EXTRA_DIST src/include/simgrid/sg_config.h src/include/smpi/smpi_interface.h src/include/surf/datatypes.h - src/include/surf/maxmin.hpp + src/include/surf/maxmin.h src/include/surf/random_mgr.h src/include/surf/surf.h src/include/surf/surf_resource.h -- 2.20.1