diff --git a/hermit/usr/libomp b/hermit/usr/libomp index 57ab0335e..d424a2b9f 160000 --- a/hermit/usr/libomp +++ b/hermit/usr/libomp @@ -1 +1 @@ -Subproject commit 57ab0335ec60639321d8886ff121e41662da6dde +Subproject commit d424a2b9f9bebb60dacdd07d1dfef9299a584fa9