#1420: Timers are never started ----------------------+----------------------------------------------------- Reporter: sbrandt | Owner: eschnett Type: defect | Status: new Priority: major | Milestone: ET_2013_11 Component: Carpet | Version: ET_2013_05 Resolution: | Keywords: ----------------------+-----------------------------------------------------
Comment (by sbrandt):
Yes, that is the file. Sorry, I didn't know of any other clock.cc.