From 92845612a1dc83834bd9726dee3561ac89b6af65 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Thu, 14 May 2020 17:22:22 +0200 Subject: [PATCH] sanity: please 80 columns * spot/ltsmin/spins_kripke.hh, spot/twacube/twacube.cc, spot/twacube_algos/convert.cc: Here. --- spot/ltsmin/spins_kripke.hh | 4 ++-- spot/twacube/twacube.cc | 4 ++-- spot/twacube_algos/convert.cc | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/spot/ltsmin/spins_kripke.hh b/spot/ltsmin/spins_kripke.hh index f6e14bd0a..8f5d66913 100644 --- a/spot/ltsmin/spins_kripke.hh +++ b/spot/ltsmin/spins_kripke.hh @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2017, 2018, 2019, 2020 Laboratoire de Recherche et Développement de -// l'Epita (LRDE) +// Copyright (C) 2017, 2018, 2019, 2020 Laboratoire de Recherche et +// Développement de l'Epita (LRDE) // // This file is part of Spot, a model checking library. // diff --git a/spot/twacube/twacube.cc b/spot/twacube/twacube.cc index 9325f76b3..a3639c7aa 100644 --- a/spot/twacube/twacube.cc +++ b/spot/twacube/twacube.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et Developpement de -// l'EPITA (LRDE). +// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et +// Developpement de l'EPITA (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/spot/twacube_algos/convert.cc b/spot/twacube_algos/convert.cc index d376c673b..a6f654fc6 100644 --- a/spot/twacube_algos/convert.cc +++ b/spot/twacube_algos/convert.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et Developpement de -// l'Epita (LRDE). +// Copyright (C) 2015, 2016, 2018, 2020 Laboratoire de Recherche et +// Developpement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. //