diff --git a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
index 94f10941..306a81a2 100644
--- a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
+++ b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
@@ -6,7 +6,7 @@
Copyright (c) 2005-2019 Kestrel Technology LLC
Copyright (c) 2020 Henny Sipma
- Copyright (c) 2021-2024 Aarno Labs LLC
+ Copyright (c) 2021-2026 Aarno Labs LLC
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
@@ -131,6 +131,10 @@ let get_standard_txt_type (t: string): btype_t option =
| "DWORD" -> Some (TInt (IUInt, []))
| "gid_t" -> Some (TInt (IUInt, []))
| "id_t" -> Some (TInt (IUInt, [])) (* used in getpriority *)
+ | "in_addr_t" ->
+ (* equivalent to the type uint32_t, see
+ https://pubs.opengroup.org/onlinepubs/9699919799/ *)
+ Some (TInt (IUInt, []))
| "int" -> Some (TInt (IInt, []))
| "Integer" -> Some (TInt (IInt, []))
| "long" -> Some (TInt (ILong, []))
diff --git a/CodeHawk/CHB/bchlib/bCHVersion.ml b/CodeHawk/CHB/bchlib/bCHVersion.ml
index efeab196..856e226f 100644
--- a/CodeHawk/CHB/bchlib/bCHVersion.ml
+++ b/CodeHawk/CHB/bchlib/bCHVersion.ml
@@ -95,8 +95,8 @@ end
let version = new version_info_t
- ~version:"0.6.0_20260407"
- ~date:"2026-04-07"
+ ~version:"0.6.0_20260418"
+ ~date:"2026-04-18"
~licensee: None
~maxfilesize: None
()
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
index 9cd75672..9339c76a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
@@ -19,7 +19,7 @@
-