[cl-unification-devel] Fixed a few problems with the unification code.

Hi I just made some changes to the unification code. Please check the CVS log for details and try out the new version (which should fix the MAKE-LOAD-FORM problem in SBCL among other things) Cheers -- Marco