X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=generator%2Fgenerator_xdr.ml;h=c6d8a4d01c6e935e4b51e54c4e3bed4c8d1af9a1;hb=e0afd9a3e4bbd073f36a4287744b4c5fe148413f;hp=b44e2ef107745fec9d6935e5b1c3335371f7a01a;hpb=d859c283c469b9d9124d90d0ac32024671372ed5;p=libguestfs.git

diff --git a/generator/generator_xdr.ml b/generator/generator_xdr.ml
index b44e2ef..c6d8a4d 100644
--- a/generator/generator_xdr.ml
+++ b/generator/generator_xdr.ml
@@ -86,6 +86,7 @@ let generate_xdr () =
              | BufferIn n ->
                  pr "  opaque %s<>;\n" n
              | FileIn _ | FileOut _ -> ()
+             | Pointer _ -> assert false
            ) args;
            pr "};\n\n"
       );