widl [2/3]: Support pointer types in write_type

[Dan Hipschman]

ChangeLog:
* Allow write_type to output full pointer types
---
 tools/widl/header.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/tools/widl/header.c b/tools/widl/header.c
index d6b42ef..2de2ca7 100644
--- a/tools/widl/header.c
+++ b/tools/widl/header.c
@@ -297,6 +297,10 @@ void write_type(FILE *h, type_t *t, cons
         }
         else fprintf(h, "union %s", t->name);
         break;
+      case RPC_FC_FP:
+        if (t->ref) write_type(h, t->ref, NULL, t->name);
+        fprintf(h, "*");
+        break;
       default:
         fprintf(h, "(unknown-type:%d)", t->type);
       }