From: Mark Thom Date: Sat, 5 Sep 2020 14:50:07 +0000 (-0600) Subject: Merge pull request #696 from triska/format_distinct_variables X-Git-Tag: v0.9.0~174^2~3 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c39b239d78c93ac654bd0c61e286fc7fb7959825;p=scryer-prolog.git Merge pull request #696 from triska/format_distinct_variables FIXED: format_//2: Keep different variables distinct. --- c39b239d78c93ac654bd0c61e286fc7fb7959825