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

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"
       );