remove debugging info

This commit is contained in:
Vítor Santos Costa 2010-06-19 14:37:07 +01:00
parent d3f52d3f61
commit a906bd58d6

View File

@ -1501,14 +1501,12 @@ Yap_InitMemory(UInt Trail, UInt Heap, UInt Stack)
#if RANDOMIZE_START_ADDRESS #if RANDOMIZE_START_ADDRESS
srand(time(NULL)); srand(time(NULL));
UInt x = (rand()% 100)*YAP_ALLOC_SIZE ; UInt x = (rand()% 100)*YAP_ALLOC_SIZE ;
fprintf(stderr,"x=%lx\n", (unsigned long int)x);
pm += x; pm += x;
#endif #endif
addr = InitWorkSpace(pm); addr = InitWorkSpace(pm);
#if RANDOMIZE_START_ADDRESS #if RANDOMIZE_START_ADDRESS
addr = (char *)addr+x; addr = (char *)addr+x;
pm -= x; pm -= x;
fprintf(stderr,"addr=%p\n", addr);
#endif #endif
InitHeap(addr); InitHeap(addr);