kc3-lang/kc3

diff --git a/libc3/facts.c b/libc3/facts.c
index 047d314..ece4824 100644
--- a/libc3/facts.c
+++ b/libc3/facts.c
@@ -364,7 +364,9 @@ void facts_lock_r (s_facts *facts)
 
 void facts_lock_unlock_r (s_facts *facts)
 {
+  pthread_t thread;
   assert(facts);
+  thread = pthread_self();
   if (facts->rwlock_thread == thread)
     return;
   if (pthread_rwlock_unlock(&facts->rwlock))