alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/kripke/kripkeexplicit.cc: Work around a clang warning.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-12-16 13:28:14 +01:00
parent 79d6ef073e
commit ea6a34b0b4
1 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/kripke/kripkeexplicit.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2011, 2012, 2014 Laboratoire de Recherche et // Copyright (C) 2011, 2012, 2013, 2014 Laboratoire de Recherche et
// Developpement de l'Epita (LRDE) // Developpement de l'Epita (LRDE)
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -248,10 +248,8 @@ namespace spot
void kripke_explicit::add_transition(std::string source, void kripke_explicit::add_transition(std::string source,
std::string dest) std::string dest)
{ {
std::map<const std::string, state_kripke*>::iterator destination auto destination = ns_nodes_.find(dest);
= ns_nodes_.find(dest); if (destination == ns_nodes_.end())
if (ns_nodes_.find(dest) == ns_nodes_.end())
{ {
state_kripke* neo = new state_kripke; state_kripke* neo = new state_kripke;
add_state(dest, neo); add_state(dest, neo);