Merge pull request mozart#48 from sjrd/issue/fix-46

Fixes mozart#46: badOpCode with createXYZUnifyK().
layus · May 20, 2013 · 5fcc3fc · 5fcc3fc
2 parents 14c2d9c + a120271
commit 5fcc3fc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/vm/vm/main/emulate.cc b/vm/vm/main/emulate.cc
@@ -792,6 +792,11 @@ void Thread::run() {
         case OpCreateTupleUnifyG:
         case OpCreateRecordUnifyG:
 
+        case OpCreateAbstractionUnifyK:
+        case OpCreateConsUnifyK:
+        case OpCreateTupleUnifyK:
+        case OpCreateRecordUnifyK:
+
         {
           auto what = op & OpCreateStructWhatMask;
           auto where = op & OpCreateStructWhereMask;