Added missing include

7 years ago · 5d4c344a9c
1 changed files with 1 additions and 0 deletions
--- a/src/core/transformation.cpp
+++ b/src/core/transformation.cpp
@ -1,4 +1,5 @@
 #include "transformation.h"
 #include "storm/models/symbolic/StandardRewardModel.h"
 void define_transformation(py::module& m) {
    // Transform model