From 7f5d1591541d6431955b6d3eda4a57c46f14dbb2 Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 4 Oct 2018 22:35:03 +0200 Subject: [PATCH] fix spurious semicolon warning --- src/storm-conv/converter/options/JaniConversionOptions.cpp | 4 ++-- .../converter/options/PrismToJaniConverterOptions.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/storm-conv/converter/options/JaniConversionOptions.cpp b/src/storm-conv/converter/options/JaniConversionOptions.cpp index 9c1bc1b04..50a5a568c 100644 --- a/src/storm-conv/converter/options/JaniConversionOptions.cpp +++ b/src/storm-conv/converter/options/JaniConversionOptions.cpp @@ -5,7 +5,7 @@ namespace storm { JaniConversionOptions::JaniConversionOptions() : edgeAssignments(false), flatten(false), substituteConstants(true), allowedModelFeatures(storm::jani::getAllKnownModelFeatures()) { // Intentionally left empty - }; + } JaniConversionOptions::JaniConversionOptions(storm::settings::modules::JaniExportSettings const& settings) : locationVariables(settings.getLocationVariables()), edgeAssignments(settings.isAllowEdgeAssignmentsSet()), flatten(settings.isExportFlattenedSet()), substituteConstants(true), allowedModelFeatures(storm::jani::getAllKnownModelFeatures()) { if (settings.isEliminateFunctionsSet()) { @@ -14,7 +14,7 @@ namespace storm { if (settings.isEliminateArraysSet()) { allowedModelFeatures.remove(storm::jani::ModelFeature::Arrays); } - }; + } } } diff --git a/src/storm-conv/converter/options/PrismToJaniConverterOptions.cpp b/src/storm-conv/converter/options/PrismToJaniConverterOptions.cpp index a64f9edbc..4be7abf2c 100644 --- a/src/storm-conv/converter/options/PrismToJaniConverterOptions.cpp +++ b/src/storm-conv/converter/options/PrismToJaniConverterOptions.cpp @@ -6,7 +6,7 @@ namespace storm { PrismToJaniConverterOptions::PrismToJaniConverterOptions() : allVariablesGlobal(false), suffix("") { // Intentionally left empty - }; + } } }