diff options
-rwxr-xr-x | bin/trace | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -30,6 +30,7 @@ $Source = ""; "int" => "Is", "unsigned" => "Iu", "unsigned int" => "Iu", + "H5I_type_t" => "It", "MPI_Comm" => "Mc", "MPI_Info" => "Mi", "off_t" => "o", |