* iface/gspn/ltlgspn.cc (main): Typo, use MIN_ARG.

ChangeLog

+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,

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;