Remove deleted files from archive.

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index c6aabeb..5c2d776 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -401,7 +401,6 @@ set(headers_to_install
   include/xbt/function_types.h
   include/xbt/asserts.h 
   include/xbt/automaton.h
-  include/xbt/automatonparse_promela.h
   include/xbt/ex.h
   include/xbt/log.h
   include/xbt/module.h