Replaced the unused variable 'timer' in wbTime_stop() with a nameless temporary object in order to correctly initialise the wbTimerInfo struct 'searchInfo'