From a78f5feecfeade73f2624ea452be38999a94f338 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 21 Jun 2016 17:43:46 +0200 Subject: [PATCH] * tests/core/degenlskip.test: Typo. --- tests/core/degenlskip.test | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/core/degenlskip.test b/tests/core/degenlskip.test index ec099f77c..bbdf0410f 100755 --- a/tests/core/degenlskip.test +++ b/tests/core/degenlskip.test @@ -1,7 +1,7 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # @@ -22,7 +22,7 @@ set -e -# Make sure degen-skip=0 and degen-skip=1 produce the expected +# Make sure degen-lskip=0 and degen-lskip=1 produce the expected # automata for 'GFa & GFb' ltl2tgba -B 'GFa & GFb' --hoa > out1