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

kripke: please style.test

Browse source 
* spot/kripke/kripke.hh: Here.
This commit is contained in:
Etienne Renault 2020-05-13 11:10:58 +02:00
parent 5bb29d646b
commit b32e451292
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/kripke/kripke.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2009, 2010, 2013, 2014, 2016, 2017, 2019 Laboratoire
// Copyright (C) 2009, 2010, 2013, 2014, 2016, 2017, 2019, 2020 Laboratoire
// de Recherche et Developpement de l'Epita
//
// This file is part of Spot, a model checking library.
@ -94,8 +94,7 @@ namespace spot
std::is_same<spot::cube, decltype(v->condition())>::value
// finally return the type "yes"
, yes()
);
, yes());
// For all other cases return the type "no"
template<typename, typename> static no test_kripke(...);