diff options
Diffstat (limited to 'generator/generator_xdr.ml')
-rw-r--r-- | generator/generator_xdr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generator/generator_xdr.ml b/generator/generator_xdr.ml index 07f3ff97..c78a1328 100644 --- a/generator/generator_xdr.ml +++ b/generator/generator_xdr.ml @@ -72,7 +72,7 @@ let generate_xdr () = * in the header controls which optional arguments are * meaningful. *) - (match args @ optargs with + (match args @ args_of_optargs optargs with | [] -> () | args -> pr "struct %s_args {\n" name; |