mozart/mozart2 — pull request #48 by sjrd (2013-05-18 12:30:36+00:00)
Title: Fixes #46: badOpCode with createXYZUnifyK().

Trivial fix. All the infrastructure was there. I had only forgotten to list these 4 opcodes in the emulator big switch. -_-'