From 5d4c344a9c58f0ccbcd61809900dd35c63afdfd7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 22 May 2018 12:55:59 +0200
Subject: [PATCH] Added missing include

---
 src/core/transformation.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/transformation.cpp b/src/core/transformation.cpp
index 984c0e8..6db4330 100644
--- 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