diff --git a/pdf.js b/pdf.js index 8092e7974..1c03d2648 100644 --- a/pdf.js +++ b/pdf.js @@ -39,14 +39,12 @@ var Stream = (function() { this.pos++; return ch; }, - putBack: function() { - this.pos--; - }, skipChar: function() { this.pos++; }, skip: function(n) { - this.pos += n; + while (n-- > 0) + this.skipChar(); }, moveStart: function() { this.start = this.pos;