From bceb54c80eeb8c7c6bd615e6c78196627a79a4d0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 9 Feb 2016 14:44:52 +0100
Subject: [PATCH] * spot/ltsmin/ltsmin.cc (format_state): Thinko.

---
 spot/ltsmin/ltsmin.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spot/ltsmin/ltsmin.cc b/spot/ltsmin/ltsmin.cc
index d12da45a5..1b1a4b4e9 100644
--- a/spot/ltsmin/ltsmin.cc
+++ b/spot/ltsmin/ltsmin.cc
@@ -904,6 +904,8 @@ namespace spot
 	    if (!format_filter_[i])
 	      {
 		++i;
+		if (i == state_size_)
+		  break;
 		continue;
 	      }
 	    res << vname_[i] << '=' << vars[i];