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 {