diff --git a/ChangeLog b/ChangeLog
index b8df99420..a7e15c273 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2009-06-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* bench/emptchk/pml2tgba.pl: Adjust to work with Spin 5.2.0.
+
 2009-06-12  Guillaume Sadegh  <sadegh@lrde.epita.fr>
 
 	Adjust the build system for ICC.
diff --git a/bench/emptchk/pml2tgba.pl b/bench/emptchk/pml2tgba.pl
index ef6167ddc..4fdd76c39 100755
--- a/bench/emptchk/pml2tgba.pl
+++ b/bench/emptchk/pml2tgba.pl
@@ -113,7 +113,11 @@ while (1)
 my $model = shift @ARGV;
 
 # Find out the start of the never claim.
-my $neverstartline = 3 + `wc -l <"$model"`;
+# The line numbering changed in Spin 5.2.0.
+my $model_size = `wc -l <"$model"`;
+my $neverstartline_spin517 = 3 + $model_size;
+my $neverstartline_spin520 = 4 + $model_size;
+my $neverstartline = "($neverstartline_spin517|$neverstartline_spin520)";
 
 # Create the automaton
 open NEVER, ">never.$$";