JSDOC/PrettyPrint.js

diff --git a/JSDOC/PrettyPrint.js b/JSDOC/PrettyPrint.js
index a0d138e..dd456d7 100644 (file)
--- 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)