diff options
Diffstat (limited to 'baseline/source/petrinet/petrinet.c')
-rw-r--r-- | baseline/source/petrinet/petrinet.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/baseline/source/petrinet/petrinet.c b/baseline/source/petrinet/petrinet.c index 6ef3392..a54a999 100644 --- a/baseline/source/petrinet/petrinet.c +++ b/baseline/source/petrinet/petrinet.c | |||
@@ -976,14 +976,10 @@ int petrinet_return( void ) | |||
976 | int main( int argc, char **argv ) | 976 | int main( int argc, char **argv ) |
977 | { | 977 | { |
978 | SET_UP | 978 | SET_UP |
979 | 979 | for_each_job { | |
980 | for (jobsComplete=0; jobsComplete<maxJobs; jobsComplete++){ | 980 | petrinet_main(); |
981 | 981 | } | |
982 | START_LOOP | 982 | WRITE_TO_FILE |
983 | petrinet_main(); | ||
984 | STOP_LOOP | ||
985 | } | ||
986 | WRITE_TO_FILE | ||
987 | 983 | ||
988 | return ( petrinet_return() ); | 984 | return ( petrinet_return() ); |
989 | } | 985 | } |