@@ -390,7 +390,7 @@ class HtmlPrinter {
}
- function processTypedefType(t,all,platforms) {
+ function processTypedefType(t,all:Platforms,platforms:Platforms) {
switch( t ) {
case CAnonymous(fields):
print('<dl>');