diff --git a/hermit/usr/libomp b/hermit/usr/libomp index d424a2b9f..1c7e9d638 160000 --- a/hermit/usr/libomp +++ b/hermit/usr/libomp @@ -1 +1 @@ -Subproject commit d424a2b9f9bebb60dacdd07d1dfef9299a584fa9 +Subproject commit 1c7e9d6386dfa2363accf16dbf753101af523e22