From 56df741d321353fa31f33946e1ce8cf6212877e5 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 May 2018 23:38:06 +0200
Subject: [PATCH] formula parser does not depend on jani model

---
 src/storm/parser/FormulaParser.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/parser/FormulaParser.cpp b/src/storm/parser/FormulaParser.cpp
index d9d7cd518..d8b9c2df2 100644
--- a/src/storm/parser/FormulaParser.cpp
+++ b/src/storm/parser/FormulaParser.cpp
@@ -5,7 +5,6 @@
 #include "storm/parser/SpiritErrorHandler.h"
 
 #include "storm/storage/prism/Program.h"
-#include "storm/storage/jani/Model.h"
 
 #include "storm/logic/Formulas.h"