diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h
index 3e2279a0a..5b1de2b0c 100644
--- a/src/cli/entrypoints.h
+++ b/src/cli/entrypoints.h
@@ -145,7 +145,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.");