Commit f4e22e7c authored by Etienne Renault's avatar Etienne Renault
Browse files

please pedantic option for gcc

* spot/kripke/kripke.hh: here.
parent b303e939
// -*- coding: utf-8 -*-
// Copyright (C) 2009, 2010, 2013, 2014, 2016 Laboratoire de Recherche
// Copyright (C) 2009, 2010, 2013, 2014, 2016, 2017 Laboratoire de Recherche
// et Developpement de l'Epita
//
// This file is part of Spot, a model checking library.
......@@ -89,7 +89,7 @@ namespace spot
// Always return true since otherwise a compile-time error will be raised.
return true;
};
}
/// \ingroup kripke
/// \brief Iterator code for Kripke structure
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment