diff --git a/third_party/UHDM b/third_party/UHDM index 1db369a823..bb4971e0a2 160000 --- a/third_party/UHDM +++ b/third_party/UHDM @@ -1 +1 @@ -Subproject commit 1db369a8230bd1af686f4997552f5e364edf46e6 +Subproject commit bb4971e0a2102e11f0a3a39ef9b22f2cc8ba5f56