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

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