diff options
Diffstat (limited to 'src')
-rwxr-xr-x | src/generator.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/generator.ml b/src/generator.ml index 691cf606..ad4c0cbf 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -8588,7 +8588,10 @@ Java_com_redhat_et_libguestfs_GuestFS__1close | RErr | RBool _ | RInt _ | RInt64 _ | RConstString _ | RConstOptString _ | RString _ | RBufferOut _ | RStruct _ | RHashtable _ -> false) || - List.exists (function StringList _ -> true | _ -> false) (snd style) in + List.exists (function + | StringList _ -> true + | DeviceList _ -> true + | _ -> false) (snd style) in if needs_i then pr " int i;\n"; |