From fdf2d81c61dfc925803954824ee16724aaa1f099 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 22 Jan 2016 13:47:50 +0100
Subject: [PATCH] added missing template parameter

Former-commit-id: 2cbeafe0d08e47f25deb50c1886c9dc3c1aa63f3
---
 src/cli/entrypoints.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h
index 4eaa264cb..79de987ee 100644
--- a/src/cli/entrypoints.h
+++ b/src/cli/entrypoints.h
@@ -118,7 +118,7 @@ namespace storm {
             storm::settings::modules::GeneralSettings const& settings = storm::settings::generalSettings();
             
             if (settings.getEngine() == storm::settings::modules::GeneralSettings::Engine::AbstractionRefinement) {
-                verifySymbolicModelWithAbstractionRefinementEngine(program, formulas);
+                verifySymbolicModelWithAbstractionRefinementEngine<LibraryType>(program, formulas);
             } else {
                 storm::storage::ModelProgramPair modelProgramPair = buildSymbolicModel<ValueType, LibraryType>(program, formulas);
                 STORM_LOG_THROW(modelProgramPair.model != nullptr, storm::exceptions::InvalidStateException, "Model could not be constructed for an unknown reason.");