From 07119364fcd617fdbe0dea7d9876caceeed91fb1 Mon Sep 17 00:00:00 2001
From: Chris Jones <jones.chris.g@gmail.com>
Date: Wed, 4 May 2011 23:53:55 -0500
Subject: [PATCH] More nicely truncate args array

---
 pdf.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pdf.js b/pdf.js
index a521b5f0b..18bbf1eb2 100644
--- a/pdf.js
+++ b/pdf.js
@@ -721,7 +721,7 @@ var Interpreter = (function() {
             while (!((obj = parser.getObj()).isEOF())) {
                 if (obj.isCmd()) {
                     this.dispatch(obj, args);
-                    args = [ ]; // yuck
+                    args.length = 0;
                 } else if (MAX_ARGS == args.length) {
                     this.error("Too many arguments");
                 } else {