KBO: don't mistake a sort and a term with the same functor number for the same symbol - #1018

KBO: don't mistake a sort and a term with the same functor number for the same symbol#1018

quickbeam123 merged 1 commit into

mastervprover/vampire:masterfrom

martin-fix-SWV645_5vprover/vampire:martin-fix-SWV645_5Copy head branch name to clipboard