diff options
Diffstat (limited to 'baseline/source/petrinet')
| -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 | } |
