From 0a501b6e76208c82c177b2296718873a97e3d10c Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Fri, 18 Apr 2014 13:48:17 +0200
Subject: [PATCH] Added a constructor for GlobalProgramInformation as MSVC
 fails to default bool to false.

Former-commit-id: bd50a770c8341b19d60549545775d96dd13d1795
---
 src/parser/PrismParser.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/PrismParser.h b/src/parser/PrismParser.h
index 98053890a..15acef30b 100644
--- a/src/parser/PrismParser.h
+++ b/src/parser/PrismParser.h
@@ -33,7 +33,7 @@ namespace storm {
         class GlobalProgramInformation {
         public:
             // Default construct the header information.
-            GlobalProgramInformation() = default;
+			GlobalProgramInformation() : hasInitialStatesExpression(false), currentCommandIndex(0), currentUpdateIndex(0) {}
             
             // Members for all essential information that needs to be collected.
             storm::prism::Program::ModelType modelType;