From 507952df4ea2e6063e039bc1de5d6c9c474fc28e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Mon, 8 Aug 2016 20:55:33 +0200
Subject: [PATCH] register smt2lib settings

Former-commit-id: 4da50b02bf84100686f1930a2a37990695ed1d81
---
 src/settings/SettingsManager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/settings/SettingsManager.cpp b/src/settings/SettingsManager.cpp
index cf7089dae..625637fdd 100644
--- a/src/settings/SettingsManager.cpp
+++ b/src/settings/SettingsManager.cpp
@@ -522,6 +522,7 @@ namespace storm {
             storm::settings::addModule<storm::settings::modules::TopologicalValueIterationEquationSolverSettings>();
             storm::settings::addModule<storm::settings::modules::ParametricSettings>();
             storm::settings::addModule<storm::settings::modules::RegionSettings>();
+            storm::settings::addModule<storm::settings::modules::Smt2SmtSolverSettings>();
             storm::settings::addModule<storm::settings::modules::ExplorationSettings>();
         }