index d7ed81cd773a9fa5b49e90e743f844cb0f88abb3..6e0db82ae68555c19675a4d6025bfab13b6f1bb0 100644 (file)
/*
* ======== SysMin_abort ========
*/
-Void SysMin_abort(String str)
+Void SysMin_abort(CString str)
{
Char ch;
#else
if (module->getTime == TRUE) {
#endif
- uSec = Clock_getTicks() * Clock_tickPeriod;
+ uSec = Clock_getTicks() * (UInt64)Clock_tickPeriod;
SysMin_output('[');
if (uSec) {
sprintf(timeStamp, "%17llu\0", uSec);