From 85d19944cdd001dfae2dc9068cc51cd4d4951237 Mon Sep 17 00:00:00 2001
From: Alan Knowles <alan@akbkhome.com>
Date: Tue, 6 Jul 2010 18:42:17 +0800
Subject: [PATCH] JSDOC/PrettyPrint.js

---
 JSDOC/PrettyPrint.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/JSDOC/PrettyPrint.js b/JSDOC/PrettyPrint.js
index a0d138e..dd456d7 100644
--- a/JSDOC/PrettyPrint.js
+++ b/JSDOC/PrettyPrint.js
@@ -19,7 +19,7 @@ function  escapeHTML() {
 function toPretty(str)
 {
     
-    var txs = new TextStream(File.read(str));
+    var txs = new TextStream(str);
     var tr = TokenReader({ keepComments : true, keepWhite : true });
     var toks = tr.tokenize(txs)
     
-- 
2.39.2