getDefaultProperties() bug

[rizkg]

There is a bug in the getDefaultProperties() function

gatb-core/gatb-core/src/gatb/tools/misc/impl/OptionsParser.cpp

Line 402 in e0c9525

IProperties* OptionsParser::getDefaultProperties ()

If we use an "OptionNoParam" to build an option that takes no parameters, it is always returned by getDefaultProperties(), I do not see any way to tell if this option should be default or not.

[rchikhi]

need help with it?

[rizkg]

I worked around it by removing my OptionNoParam in SortingCount, so nothing urgent.
I do not plan to fix this myself right now (digging into option visitors does not seem fun).
So feel free to fix it, but only if you have nothing better to do :)