add include

moves-rwth · Dec 18, 2023 · 6e4e0fa · 6e4e0fa
1 parent 54e8132
commit 6e4e0fa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/core/simulator.cpp b/src/core/simulator.cpp
@@ -1,6 +1,7 @@
 #include "simulator.h"
 #include <storm/simulator/DiscreteTimeSparseModelSimulator.h>
 #include <storm/simulator/PrismProgramSimulator.h>
+#include <storm/adapters/JsonAdapter.h>
 
 template <typename ValueType>
 using PLSim = storm::simulator::DiscreteTimePrismProgramSimulator<ValueType>;