From 1b19372a14a34fa5c828964df264fc7be1a8ebde Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 3 Sep 2016 19:20:05 +0200
Subject: [PATCH] changed a default argument initializer list to make compilers
 happier

Former-commit-id: 41dcbd2f10c6528714e4bb727c78f70f519e0400
---
 src/parser/JaniParser.h | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/parser/JaniParser.h b/src/parser/JaniParser.h
index e4fafcd2a..90891c759 100644
--- a/src/parser/JaniParser.h
+++ b/src/parser/JaniParser.h
@@ -34,7 +34,8 @@ namespace storm {
             storm::jani::Model parseModel();
             storm::jani::Automaton parseAutomaton(json const& automatonStructure);
             std::shared_ptr<storm::jani::Variable>  parseVariable(json const& variableStructure, std::string const& scopeDescription, bool prefWithScope = false);
-            storm::expressions::Expression parseExpression(json const& expressionStructure, std::string const& scopeDescription, std::unordered_map<std::string, std::shared_ptr<storm::jani::Variable>> const& localVars = {});
+            storm::expressions::Expression parseExpression(json const& expressionStructure, std::string const& scopeDescription, std::unordered_map<std::string, std::shared_ptr<storm::jani::Variable>> const& localVars = std::unordered_map<std::string, std::shared_ptr<storm::jani::Variable>>());
+            
         private:
             /**
              * Helper for parsing the actions of a model.
@@ -43,8 +44,6 @@ namespace storm {
 
             std::shared_ptr<storm::jani::Composition> parseComposition(json const& compositionStructure);
 
-
-
         };
     }
 }