diff --git a/tests/core/ltlcrossgrind.test b/tests/core/ltlcrossgrind.test index a9f7b1eb9..1814bcd15 100755 --- a/tests/core/ltlcrossgrind.test +++ b/tests/core/ltlcrossgrind.test @@ -1,6 +1,6 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2014 Laboratoire de Recherche et Dévelopement to +# Copyright (C) 2014 Laboratoire de Recherche et Développement de # l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/tests/core/ltlgrind.test b/tests/core/ltlgrind.test index abc95285c..0cbc0dae4 100755 --- a/tests/core/ltlgrind.test +++ b/tests/core/ltlgrind.test @@ -1,7 +1,7 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2014, 2015 Laboratoire de Recherche et Dévelopement to -# l'Epita (LRDE). +# Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/tests/core/ltlrel.test b/tests/core/ltlrel.test index 4f403ef66..b734bee18 100755 --- a/tests/core/ltlrel.test +++ b/tests/core/ltlrel.test @@ -1,7 +1,7 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2013, 2016 Laboratoire de Recherche et Dévelopement to -# l'Epita (LRDE). +# Copyright (C) 2013, 2016 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. #