FIXED: setting/4: detection that a setting is already defined does not work any more given the new recompilation strategy.
FIXED: setting/4: detection that a setting is already defined does not
work any more given the new recompilation strategy.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel