JSDOC/PrettyPrint.js
[gnome.introspection-doc-generator] / JSDOC / PrettyPrint.js
index ecf26e4..a0d138e 100644 (file)
@@ -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(