summaryrefslogtreecommitdiff
path: root/tool
diff options
context:
space:
mode:
Diffstat (limited to 'tool')
-rw-r--r--tool/insns2vm.rb2
1 files changed, 0 insertions, 2 deletions
diff --git a/tool/insns2vm.rb b/tool/insns2vm.rb
index 5ed10b62e5..4fecf0a701 100644
--- a/tool/insns2vm.rb
+++ b/tool/insns2vm.rb
@@ -1116,8 +1116,6 @@ class InsnsDef
insns.each{|insn|
size = insn.unifs.size
if size > 0
- require 'pp'
-
insn.unifs.sort_by{|unif| -unif[1].size}.each_with_index{|unif, i|
uni_insn, uni_insns = *unif