fixed typo in header inclusion

Former-commit-id: 7039fe5a35 [formerly 4050360481] Former-commit-id: 266f1e0659
8 years ago · 282be9612e
1 changed files with 1 additions and 1 deletions
--- 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 {