Skip to content
Snippets Groups Projects
Commit 2c06fda2 authored by Chiheb Amer Abid's avatar Chiheb Amer Abid
Browse files

modifié : src/CMakeLists.txt

parent a1af49d4
No related branches found
No related tags found
No related merge requests found
......@@ -22,7 +22,7 @@ else()
endif()
# Hybrid SOG executable
add_executable(hybrid-sog main.cpp
add_executable(mc-sog main.cpp
NewNet.cpp
NewNet.h
CommonSOG.cpp
......@@ -73,7 +73,7 @@ add_executable(hybrid-sog main.cpp
HybridKripkeState.h
)
target_link_libraries(hybrid-sog
target_link_libraries(mc-sog
bddx
spot
sylvan
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment