Renamed storm-dyftee to storm-dft

7 years ago · 9350e281c7
2 changed files with 1 additions and 1 deletions
--- a/src/storm-dft-cli/CMakeLists.txt
+++ b/src/storm-dft-cli/CMakeLists.txt
@ -1,5 +1,5 @@
 # Create storm-dft.
-add_executable(storm-dft-cli ${PROJECT_SOURCE_DIR}/src/storm-dft-cli/storm-dyftee.cpp)
+add_executable(storm-dft-cli ${PROJECT_SOURCE_DIR}/src/storm-dft-cli/storm-dft.cpp)
 target_link_libraries(storm-dft-cli storm-dft storm-cli-utilities) # Adding headers for xcode
 set_target_properties(storm-dft-cli PROPERTIES OUTPUT_NAME "storm-dft")

--- a/src/storm-dft-cli/storm-dyftee.cpp
+++ b/src/storm-dft-cli/storm-dyftee.cpp