Index: trunk/FACT++/src/Readline.cc
===================================================================
--- trunk/FACT++/src/Readline.cc	(revision 13681)
+++ trunk/FACT++/src/Readline.cc	(revision 13682)
@@ -1049,5 +1049,5 @@
 
         map<string,string> data = Tools::Split(opt);
-        if (data.size()==0)
+        if (opt.size()==0)
             return false;