diff --git a/src/storage/jani/Property.h b/src/storage/jani/Property.h
index bde51865e..dc6aab23b 100644
--- a/src/storage/jani/Property.h
+++ b/src/storage/jani/Property.h
@@ -1,6 +1,6 @@
 #pragma once
 
-#include "src/logic/formulas.h"
+#include "src/logic/Formulas.h"
 
 namespace storm {
     namespace jani {