diff --git a/lib/Bytecode/Reader/InstructionReader.cpp b/lib/Bytecode/Reader/InstructionReader.cpp
index e81927c..2ab68bb 100644
--- a/lib/Bytecode/Reader/InstructionReader.cpp
+++ b/lib/Bytecode/Reader/InstructionReader.cpp
@@ -215,8 +215,8 @@
     
     std::vector<unsigned> &args = *Raw.VarArgs;
     for (unsigned i = 0; i < args.size(); i += 2)
-      I->dest_push_back(cast<Constant>(getValue(Raw.Ty, args[i])),
-                        cast<BasicBlock>(getValue(Type::LabelTy, args[i+1])));
+      I->addCase(cast<Constant>(getValue(Raw.Ty, args[i])),
+                 cast<BasicBlock>(getValue(Type::LabelTy, args[i+1])));
 
     delete Raw.VarArgs;
     return false;