summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/trace1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/trace b/bin/trace
index 28734d4..faa69f7 100755
--- a/bin/trace
+++ b/bin/trace
@@ -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",