From a53706c824c1ff8e4f45c249ef040862e5f349d7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 6 Nov 2010 09:20:03 +0100
Subject: [PATCH] * bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.5.

---
 ChangeLog                 | 4 ++++
 bench/emptchk/pml2tgba.pl | 4 +++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 784154b62..27f4d79fc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-11-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.5.
+
 2010-10-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* configure.ac: Do not run CF_GXX_WARNINGS unless they are enabled.
diff --git a/bench/emptchk/pml2tgba.pl b/bench/emptchk/pml2tgba.pl
index 4fdd76c39..70084390a 100755
--- a/bench/emptchk/pml2tgba.pl
+++ b/bench/emptchk/pml2tgba.pl
@@ -117,7 +117,9 @@ my $model = shift @ARGV;
 my $model_size = `wc -l <"$model"`;
 my $neverstartline_spin517 = 3 + $model_size;
 my $neverstartline_spin520 = 4 + $model_size;
-my $neverstartline = "($neverstartline_spin517|$neverstartline_spin520)";
+my $neverstartline_spin525 = 0 + $model_size;
+my $neverstartline = 
+  "($neverstartline_spin517|$neverstartline_spin520|$neverstartline_spin525)";
 
 # Create the automaton
 open NEVER, ">never.$$";