diff --git a/hermit/usr/libomp b/hermit/usr/libomp
index 1c7e9d638..71e062b55 160000
--- a/hermit/usr/libomp
+++ b/hermit/usr/libomp
@@ -1 +1 @@
-Subproject commit 1c7e9d6386dfa2363accf16dbf753101af523e22
+Subproject commit 71e062b552152db003fdc5072276cc02826aa1af