diff --git a/hermit/usr/libomp b/hermit/usr/libomp index 25e1103b0..f33df7ee4 160000 --- a/hermit/usr/libomp +++ b/hermit/usr/libomp @@ -1 +1 @@ -Subproject commit 25e1103b0486ea90150d17ced824eb51e4bf36fe +Subproject commit f33df7ee4062a1f41e7cb3b838f4967157d72d23