X-Git-Url: http://git.annexia.org/?p=libguestfs.git;a=blobdiff_plain;f=generator%2Fgenerator_api_versions.ml;h=1749752e46684002b67a394a1fd63a1c29346916;hp=5f9d96f7441383d0eab223a6068f1e0b03003b48;hb=9f7926e7274aea9be43cf4bc1a9d1cf42ac6bec0;hpb=12cf2f732a275928a7ce727840e1f5ba6684754d diff --git a/generator/generator_api_versions.ml b/generator/generator_api_versions.ml index 5f9d96f..1749752 100644 --- a/generator/generator_api_versions.ml +++ b/generator/generator_api_versions.ml @@ -39,6 +39,5 @@ let load_api_versions filename = close_in chan let lookup_api_version sym = - try Hashtbl.find hash sym - with Not_found -> - failwithf "API symbol \"%s\" not found in API versions file" sym + try Some (Hashtbl.find hash sym) + with Not_found -> None