diff --git a/third_party/UHDM b/third_party/UHDM index 57efaa067a..972372a081 160000 --- a/third_party/UHDM +++ b/third_party/UHDM @@ -1 +1 @@ -Subproject commit 57efaa067a5989e1239c1353b557774a0669c2dd +Subproject commit 972372a081e9371b2f620230cc9490f5fd051e87