From 6e4e0fa803d0ca4f018fd2e09f3443e870c19385 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@ru.nl>
Date: Mon, 18 Dec 2023 16:24:06 +0100
Subject: [PATCH] add include

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

diff --git a/src/core/simulator.cpp b/src/core/simulator.cpp
index 2143936c6..931547020 100644
--- 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>;