diff --git a/src/storm-pgcl-cli/CMakeLists.txt b/src/storm-pgcl-cli/CMakeLists.txt index 7f8bc65fb..d8884639e 100644 --- a/src/storm-pgcl-cli/CMakeLists.txt +++ b/src/storm-pgcl-cli/CMakeLists.txt @@ -1,3 +1,3 @@ add_executable(storm-pgcl-cli ${PROJECT_SOURCE_DIR}/src/storm-pgcl-cli/storm-pgcl.cpp) target_link_libraries(storm-pgcl-cli storm-pgcl) -set_target_properties(storm-main PROPERTIES OUTPUT_NAME "storm-pgcl") \ No newline at end of file +set_target_properties(storm-pgcl-cli PROPERTIES OUTPUT_NAME "storm-pgcl") \ No newline at end of file