widl [2/6]: Handle more pointer types in write_type

[Dan Hipschman]

So write_type can handle more than just full pointers.

ChangeLog:
* Add the rest of the pointer types to write_type.
---
 tools/widl/header.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/tools/widl/header.c b/tools/widl/header.c
index 1503d33..3a4cea9 100644
--- a/tools/widl/header.c
+++ b/tools/widl/header.c
@@ -253,7 +253,10 @@ void write_type(FILE *h, type_t *t, cons
         }
         else fprintf(h, "union %s", t->name);
         break;
+      case RPC_FC_RP:
+      case RPC_FC_UP:
       case RPC_FC_FP:
+      case RPC_FC_OP:
         if (t->ref) write_type(h, t->ref, NULL, t->name);
         fprintf(h, "*");
         break;