From 95c19de1973e710692bb04c4ad3c961a50b15583 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 16 Mar 2018 14:19:44 +0100
Subject: [PATCH] Added missing multiplier settings to storm-pars

---
 src/storm-pars/settings/ParsSettings.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-pars/settings/ParsSettings.cpp b/src/storm-pars/settings/ParsSettings.cpp
index 8359c34e9..a0e9d8073 100644
--- a/src/storm-pars/settings/ParsSettings.cpp
+++ b/src/storm-pars/settings/ParsSettings.cpp
@@ -23,6 +23,7 @@
 #include "storm/settings/modules/ResourceSettings.h"
 #include "storm/settings/modules/JaniExportSettings.h"
 #include "storm/settings/modules/JitBuilderSettings.h"
+#include "storm/settings/modules/MultiplierSettings.h"
 
 
 namespace storm {
@@ -52,6 +53,7 @@ namespace storm {
             storm::settings::addModule<storm::settings::modules::ResourceSettings>();
             storm::settings::addModule<storm::settings::modules::JaniExportSettings>();
             storm::settings::addModule<storm::settings::modules::JitBuilderSettings>();
+            storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
         }
     
     }