diff --git a/src/ansi-c/library/pthread_lib.c b/src/ansi-c/library/pthread_lib.c
index 97194052a54..5686f2e3950 100644
--- a/src/ansi-c/library/pthread_lib.c
+++ b/src/ansi-c/library/pthread_lib.c
@@ -327,7 +327,7 @@ inline int pthread_join(pthread_t thread, void **value_ptr)
   #endif
 
   if((unsigned long)thread>__CPROVER_next_thread_id) return ESRCH;
-  if((unsigned long)thread==__CPROVER_thread_id) return EDEADLK;
+//  if((unsigned long)thread==__CPROVER_thread_id) return EDEADLK;
   if(value_ptr!=0) (void)**(char**)value_ptr;
   __CPROVER_assume(__CPROVER_threads_exited[(unsigned long)thread]);