From 17384cd9e953f3143933f3cf2ef107f05b24ae50 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 24 Oct 2016 16:45:14 +0200
Subject: [PATCH] fixed wrong include

Former-commit-id: 46271a3866ea107c467e3284bc76888028a52ef5 [formerly 86b53e6740d320290b936504b55a3e04dd5b1369]
Former-commit-id: 10466b1fdd58e954c822ecd3c9b660383765f5d2
---
 src/storage/jani/Property.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storage/jani/Property.h b/src/storage/jani/Property.h
index 30f468d77..d4baa9d94 100644
--- a/src/storage/jani/Property.h
+++ b/src/storage/jani/Property.h
@@ -1,10 +1,8 @@
 #pragma once
 
-#include "src/logic/formulas.h"
 #include "src/modelchecker/results/FilterType.h"
 #include "src/logic/Formulas.h"
 
-
 namespace storm {
     namespace jani {