From 826577c81e19dc08ab049e6c1a0f7438b5ac9fdd Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 15 Jun 2021 12:27:15 +0200 Subject: [PATCH] * spot/twacube_algos/convert.cc: Avoid unnecessary std::function. --- spot/twacube_algos/convert.cc | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/spot/twacube_algos/convert.cc b/spot/twacube_algos/convert.cc index 1c25fe19a..e8878b890 100644 --- a/spot/twacube_algos/convert.cc +++ b/spot/twacube_algos/convert.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et -// Developpement de l'Epita (LRDE). +// Copyright (C) 2015-2016, 2018, 2020-2021 Laboratoire de Recherche +// et Developpement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -193,10 +193,9 @@ namespace spot std::vector aps_twacube = twacube->ap(); // Comparator to compare two strings in case insensitive manner - std::function< bool (const std::string&, const std::string&) > - comparator = [](const std::string& lhs, const std::string& rhs){ - return lhs.compare(rhs) == 0; - }; + auto comparator = [](const std::string& lhs, const std::string& rhs) { + return lhs.compare(rhs) == 0; + }; // Error. Not working on the same set of aps. if (aps_twa->size() != aps_twacube.size() ||