From bfd2178ca3a9d2bce852c809bd919ddc54fd7510 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Wed, 10 Apr 2013 11:09:01 +0200
Subject: [PATCH] Corrected define guards in some header files

---
 src/formula/StateNoBoundOperator.h       | 6 +++---
 src/formula/SteadyStateNoBoundOperator.h | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/formula/StateNoBoundOperator.h b/src/formula/StateNoBoundOperator.h
index c58e76b13..23e6b816e 100644
--- a/src/formula/StateNoBoundOperator.h
+++ b/src/formula/StateNoBoundOperator.h
@@ -5,8 +5,8 @@
  *      Author: Thomas Heinemann
  */
 
-#ifndef STATENOBOUNDOPERATOR_H_
-#define STATENOBOUNDOPERATOR_H_
+#ifndef STORM_FORMULA_STATENOBOUNDOPERATOR_H_
+#define STORM_FORMULA_STATENOBOUNDOPERATOR_H_
 
 #include "src/formula/AbstractFormula.h"
 #include "src/formula/AbstractPathFormula.h"
@@ -145,4 +145,4 @@ private:
 
 } /* namespace formula */
 } /* namespace storm */
-#endif /* STATENOBOUNDOPERATOR_H_ */
+#endif /* STORM_FORMULA_STATENOBOUNDOPERATOR_H_ */
diff --git a/src/formula/SteadyStateNoBoundOperator.h b/src/formula/SteadyStateNoBoundOperator.h
index 4c47bbf99..c48354dea 100644
--- a/src/formula/SteadyStateNoBoundOperator.h
+++ b/src/formula/SteadyStateNoBoundOperator.h
@@ -5,8 +5,8 @@
  *      Author: thomas
  */
 
-#ifndef STEADYSTATENOBOUNDOPERATOR_H_
-#define STEADYSTATENOBOUNDOPERATOR_H_
+#ifndef STORM_FORMULA_STEADYSTATENOBOUNDOPERATOR_H_
+#define STORM_FORMULA_STEADYSTATENOBOUNDOPERATOR_H_
 
 #include "StateNoBoundOperator.h"
 
@@ -91,4 +91,4 @@ public:
 
 } /* namespace formula */
 } /* namespace storm */
-#endif /* STEADYSTATENOBOUNDOPERATOR_H_ */
+#endif /* STORM_FORMULA_STEADYSTATENOBOUNDOPERATOR_H_ */