diff --git a/storm-version.cpp.in b/storm-version.cpp.in index 9de4c4481..662f3395e 100644 --- a/storm-version.cpp.in +++ b/storm-version.cpp.in @@ -1,3 +1,5 @@ +//AUTO GENERATED -- DO NOT CHANGE +// TODO resolve issues when placing this in the build order directly. #include "src/utility/storm-version.h" namespace storm {