fix so that profiling doesn't throw an error
authorbdemsky <bdemsky>
Tue, 2 Nov 2010 12:21:55 +0000 (12:21 +0000)
committerbdemsky <bdemsky>
Tue, 2 Nov 2010 12:21:55 +0000 (12:21 +0000)
commit367d8bb7692182de41d9d47633de90af2b2747ed
treec2ccad6bca25cc224ddd4b17b6fb7b98759ab0fa
parent8671558ed3915d63d2d5d9aee8e3999e544035a8
fix so that profiling doesn't throw an error
Robust/src/Runtime/workschedule.c