From 9350e281c764abe65fd3b6c3656d11e1c61f3e3d Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 10 Oct 2017 11:38:44 +0200 Subject: [PATCH] Renamed storm-dyftee to storm-dft --- src/storm-dft-cli/CMakeLists.txt | 2 +- src/storm-dft-cli/{storm-dyftee.cpp => storm-dft.cpp} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename src/storm-dft-cli/{storm-dyftee.cpp => storm-dft.cpp} (100%) diff --git a/src/storm-dft-cli/CMakeLists.txt b/src/storm-dft-cli/CMakeLists.txt index 152fc5fc7..4780eef4d 100644 --- 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") diff --git a/src/storm-dft-cli/storm-dyftee.cpp b/src/storm-dft-cli/storm-dft.cpp similarity index 100% rename from src/storm-dft-cli/storm-dyftee.cpp rename to src/storm-dft-cli/storm-dft.cpp