diff options
Diffstat (limited to 'all_pairs/source/petrinet')
| -rw-r--r-- | all_pairs/source/petrinet/petrinet.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/all_pairs/source/petrinet/petrinet.c b/all_pairs/source/petrinet/petrinet.c index 6ef3392..79da104 100644 --- a/all_pairs/source/petrinet/petrinet.c +++ b/all_pairs/source/petrinet/petrinet.c | |||
| @@ -977,11 +977,9 @@ int main( int argc, char **argv ) | |||
| 977 | { | 977 | { |
| 978 | SET_UP | 978 | SET_UP |
| 979 | 979 | ||
| 980 | for (jobsComplete=0; jobsComplete<maxJobs; jobsComplete++){ | 980 | for_each_job { |
| 981 | 981 | ||
| 982 | START_LOOP | ||
| 983 | petrinet_main(); | 982 | petrinet_main(); |
| 984 | STOP_LOOP | ||
| 985 | } | 983 | } |
| 986 | WRITE_TO_FILE | 984 | WRITE_TO_FILE |
| 987 | 985 | ||
