diff --git a/CMakeLists.txt b/CMakeLists.txt index 1fc4edf..3e455a0 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -37,7 +37,7 @@ if(NOT TARGET storm) SET(FETCHCONTENT_QUIET OFF) FetchContent_Declare( storm - GIT_REPOSITORY https://github.com/moves-rwth/storm.git + GIT_REPOSITORY https://github.com/stormchecker/storm.git GIT_TAG master ) FETCHCONTENT_MAKEAVAILABLE(storm)