fixed wrong include

Former-commit-id: 46271a3866 [formerly 86b53e6740] Former-commit-id: 10466b1fdd
8 years ago · 17384cd9e9
1 changed files with 0 additions and 2 deletions
--- 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 {