X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=generator%2Fgenerator_xdr.ml;h=c6d8a4d01c6e935e4b51e54c4e3bed4c8d1af9a1;hb=b034795a259fb5f255c1f9c835d722efab4d4f7c;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"
       );