From e481e1218e8c3a0b6b42765ac2e7f0cddaee89b1 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 12 Jan 2004 10:24:13 +0000
Subject: [PATCH] * iface/gspn/ltlgspn.cc (main): Typo, use MIN_ARG.

---
 ChangeLog             | 4 ++++
 iface/gspn/ltlgspn.cc | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e710295a5..8236f1361 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-01-12  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ltlgspn.cc (main): Typo, use MIN_ARG.
+
 2004-01-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* iface/gspn/dcswaveeltl.test, iface/gspn/udcsefm.test,
diff --git a/iface/gspn/ltlgspn.cc b/iface/gspn/ltlgspn.cc
index 537f1a2fc..1bdfdc8de 100644
--- a/iface/gspn/ltlgspn.cc
+++ b/iface/gspn/ltlgspn.cc
@@ -114,7 +114,7 @@ main(int argc, char **argv)
 	syntax(argv[0]);
 
 
-      while (argc >= formula_index + 3)
+      while (argc >= formula_index + MIN_ARG)
 	{
 	  env.declare(argv[argc - 1]);
 	  --argc;