Index: trunk/FACT++/src/tools.cc
===================================================================
--- trunk/FACT++/src/tools.cc	(revision 18823)
+++ trunk/FACT++/src/tools.cc	(revision 18824)
@@ -227,5 +227,9 @@
 //!   If the map is also empty the file name was empty, if the map has
 //!   one entry then for this entry the equal sign was missing.
-//!
+//
+//! allow==true allows for positional (empty) arguments, like in
+//!    file.txt arg1 arg2="argument 2" arg3
+//!
+#include <iostream>
 map<string,string> Tools::Split(string &opt, bool allow)
 {
@@ -248,5 +252,5 @@
     map<string,string> rc;
 
-    int i=-1;
+    int cnt=0;
 
     for (; it!=tok.end(); it++)
@@ -254,6 +258,4 @@
         if (it->empty())
             continue;
-
-        i++;
 
         const size_t pos = it->find_first_of('=');
@@ -262,5 +264,6 @@
             if (allow)
             {
-                rc[to_string(i)] = *it;
+                std::cout << "|" << *it << "|" << std::endl;
+                rc[to_string(cnt++)] = *it;
                 continue;
             }