update

[l4.git] / l4 / pkg / plr / include / pthread_rep.h

diff --git a/l4/pkg/plr/include/pthread_rep.h b/l4/pkg/plr/include/pthread_rep.h
index e13ae1ae014f694e8747368c6268ec88849994cf..f0cb249027a1e0175639cd12580775afaec0cef5 100644 (file)
--- a/l4/pkg/plr/include/pthread_rep.h
+++ b/l4/pkg/plr/include/pthread_rep.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <l4/sys/types.h>
 #include <l4/util/atomic.h>
 
 struct spinlock