SET_THREADLOCAL does not need to get type

037d404f · John Zhang · 03d9732b · 037d404f
Commit 037d404f authored Jan 24, 2017 by John Zhang
--- a/src/vm/api/api_impl/muirbuilder.rs
+++ b/src/vm/api/api_impl/muirbuilder.rs
@@ -1930,7 +1930,6 @@ impl<'lb, 'lvm> BundleLoader<'lb, 'lvm> {
            CMU_CI_UVM_SET_THREADLOCAL => {
                assert!(args.len() == 1);

-                let op_ty = self.ensure_type_rec(tys[0]);
                let op = self.get_treenode(fcb, args[0]);

                Instruction {