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

please pedantic option for gcc

* spot/kripke/kripke.hh: here.
parent a9e194f7
// -*- coding: utf-8 -*- // -*- 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 // et Developpement de l'Epita
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
...@@ -89,7 +89,7 @@ namespace spot ...@@ -89,7 +89,7 @@ namespace spot
// Always return true since otherwise a compile-time error will be raised. // Always return true since otherwise a compile-time error will be raised.
return true; return true;
}; }
/// \ingroup kripke /// \ingroup kripke
/// \brief Iterator code for Kripke structure /// \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