Convert TACLeBench to use new libextra API

No other changes.

1 files changed, 1 insertions, 3 deletions

diff --git a/baseline/source/petrinet/petrinet.c b/baseline/source/petrinet/petrinet.c
index 6ef3392..79da104 100644
--- a/baseline/source/petrinet/petrinet.c
+++ b/baseline/source/petrinet/petrinet.c
@@ -977,11 +977,9 @@ int main( int argc, char **argv )
 {
   SET_UP
 
-   for (jobsComplete=0; jobsComplete<maxJobs; jobsComplete++){  
+   for_each_job {
         
-        START_LOOP
         petrinet_main();
-        STOP_LOOP
         }       
         WRITE_TO_FILE