FIXED: Bug#436: unifying a variable with itself creates a reference loop. Fernando Saenz-Perez
FIXED: Bug#436: unifying a variable with itself creates a reference loop.
Fernando Saenz-Perez

jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel