Convert TACLeBench to use new libextra API

No other changes.

1 files changed, 1 insertions, 3 deletions

diff --git a/baseline/source/statemate/statemate.c b/baseline/source/statemate/statemate.c
index 888d0fa..2b76166 100644
--- a/baseline/source/statemate/statemate.c
+++ b/baseline/source/statemate/statemate.c
@@ -1274,11 +1274,9 @@ void _Pragma ( "entrypoint" ) statemate_main( void )
 int main ( int argc, char **argv )
 {
         SET_UP
-        for (jobsComplete=0; jobsComplete<maxJobs; jobsComplete++){
-                START_LOOP
+        for_each_job {
                 statemate_init();
                 statemate_main();
-                STOP_LOOP
         }
         WRITE_TO_FILE