model-checker : update tesh file

[simgrid.git] / examples / msg / priority / CMakeLists.txt

diff --git a/examples/msg/priority/CMakeLists.txt b/examples/msg/priority/CMakeLists.txt
index 408c33ca482f11e579cce95c300183181c01792e..700796e362f3bfc29cbe385444d29cfec651aeff 100644 (file)
--- a/examples/msg/priority/CMakeLists.txt
+++ b/examples/msg/priority/CMakeLists.txt
@@ -5,7 +5,7 @@ set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
 add_executable(priority priority.c)
 
 ### Add definitions for compile
-target_link_libraries(priority simgrid m)
+target_link_libraries(priority simgrid)
 
 set(tesh_files
   ${tesh_files}