FIXED: discontiguous warnings were no longer working on first load.
FIXED: discontiguous warnings were no longer working on first load.

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