JSDOC/PrettyPrint.js

diff --git a/JSDOC/PrettyPrint.js b/JSDOC/PrettyPrint.js
index ecf26e4..a0d138e 100644 (file)
--- a/JSDOC/PrettyPrint.js
+++ b/JSDOC/PrettyPrint.js
@@ -5,6 +5,7 @@ TokenReader = imports.TokenReader.TokenReader;
 ScopeParser= imports.ScopeParser.ScopeParser;
 TokenStream = imports.TokenStream.TokenStream;
 TextStream = imports.TextStream.TextStream;
+File = imports.File.File;
 
 function  escapeHTML() {                                        
     return(