Fix incorrect call to dist_psymbtonum when fact is SamePattern_SameRowPerm - #143
Open
jamtrott wants to merge 2 commits into
Open
Fix incorrect call to dist_psymbtonum when fact is SamePattern_SameRowPerm#143jamtrott wants to merge 2 commits into
jamtrott wants to merge 2 commits into