registry changes

This commit is contained in:
vscosta 2014-11-05 07:46:09 +00:00
parent c633eac236
commit 8f448c0284

View File

@ -1395,7 +1395,6 @@ Yap_InitWorkspace(UInt Heap, UInt Stack, UInt Trail, UInt Atts, UInt max_table_s
InitOps();
InitDebug();
InitVersion();
Yap_InitSysPath();
#if THREADS
/* make sure we use the correct value of regcache */
regcache = ((REGSTORE *)pthread_getspecific(Yap_yaamregs_key));