From b32e4512923b26cb077ab7dc5ccacfa99e0a70b9 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 13 May 2020 11:10:58 +0200
Subject: [PATCH] kripke: please style.test

* spot/kripke/kripke.hh: Here.
---
 spot/kripke/kripke.hh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/spot/kripke/kripke.hh b/spot/kripke/kripke.hh
index bb71efe8c..d9eae2ab2 100644
--- a/spot/kripke/kripke.hh
+++ b/spot/kripke/kripke.hh
@@ -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(...);