fix 64 bit warnings

This commit is contained in:
Vítor Santos Costa 2010-06-17 00:32:25 +01:00
parent 0ff5195bd1
commit a62beae293

View File

@ -681,14 +681,14 @@ void Yap_MYDDAS_delete_all_myddas_structs(void)
#ifdef DEBUG
MyddasULInt nr;
MYDDAS_MEMORY_MALLOC_NR(nr);
printf ("Number of times malloc was called in MYDDAS: %lu \n",nr);
printf ("Number of times malloc was called in MYDDAS: " UInt_FORMAT " \n",(UInt)nr);
MYDDAS_MEMORY_FREE_NR(nr);
printf ("Number of times free was called in MYDDAS : %lu \n",nr);
printf ("Number of times free was called in MYDDAS : " UInt_FORMAT " \n",(UInt)nr);
MYDDAS_MEMORY_MALLOC_SIZE(nr);
printf ("Total memory allocated in MYDDAS: %lu \n",nr);
printf ("Total memory allocated in MYDDAS: " UInt_FORMAT " \n",(UInt)nr);
MYDDAS_MEMORY_FREE_SIZE(nr);
printf ("Total memory freed in MYDDAS : %lu \n",nr);
printf ("Total memory freed in MYDDAS : " UInt_FORMAT " \n",(UInt)nr);
#endif
}