Fix incorrect call to dist_psymbtonum when fact is SamePattern_SameRowPerm#143
Open
jamtrott wants to merge 2 commits intoxiaoyeli:masterfrom
Open
Fix incorrect call to dist_psymbtonum when fact is SamePattern_SameRowPerm#143jamtrott wants to merge 2 commits intoxiaoyeli:masterfrom
jamtrott wants to merge 2 commits intoxiaoyeli:masterfrom
