From 282be9612e139e42af481338cb5fcafe56f58e07 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 14 Oct 2016 09:44:15 +0200
Subject: [PATCH] fixed typo in header inclusion

Former-commit-id: 7039fe5a3555aca5ec2c8a240221d0d3a0050bfa [formerly 4050360481d33fd40c9f8be22e0b79dbf8d38c74]
Former-commit-id: 266f1e06598d5828ae36611f3119ace055bb4cb2
---
 src/storage/jani/Property.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {