From aa435f1d08ade7d4fb11fa16e9e21a50b82313e6 Mon Sep 17 00:00:00 2001
From: Marco Castelluccio <mcastelluccio@mozilla.com>
Date: Tue, 30 Sep 2014 19:25:25 -0700
Subject: [PATCH] Remove unused dup function

---
 frame.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/frame.js b/frame.js
index 48344f0a..6539f1f5 100644
--- a/frame.js
+++ b/frame.js
@@ -13,13 +13,6 @@ Array.prototype.pop2 = function() {
     return this.pop();
 }
 
-Array.prototype.dup = function() {
-    var v = this.pop();
-    this.push(v);
-    this.push(v);
-    return v;
-}
-
 Array.prototype.pushType = function(signature, value) {
     if (signature === "J" || signature === "D") {
         this.push2(value);