From bef9cec46ac3fa1dff35ddbc9123a7e8a401d4cc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 28 Sep 2013 23:20:39 +0100
Subject: [PATCH] fix startup module on new thread to be user module

---
 C/threads.c | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/C/threads.c b/C/threads.c
index df5af91cb..d0a2ba642 100755
--- a/C/threads.c
+++ b/C/threads.c
@@ -111,9 +111,13 @@ store_specs(int new_worker_id, UInt ssize, UInt tsize, UInt sysize, Term *tpgoal
   }
   REMOTE_ThreadHandle(new_worker_id).tgoal =
     Yap_StoreTermInDB(Deref(*tpgoal), 7);
-        
-  REMOTE_ThreadHandle(new_worker_id).cmod =
-    CurrentModule;
+      
+  if (CurrentModule) {
+    REMOTE_ThreadHandle(new_worker_id).cmod =
+      CurrentModule;
+  } else {
+    REMOTE_ThreadHandle(new_worker_id).cmod = USER_MODULE;
+  }
   tdetach = Deref(*tpdetach);
   if (IsVarTerm(tdetach)){
     REMOTE_ThreadHandle(new_worker_id).tdetach =