diff options
Diffstat (limited to 'all_pairs/source/petrinet')
| -rw-r--r-- | all_pairs/source/petrinet/petrinet.c | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/all_pairs/source/petrinet/petrinet.c b/all_pairs/source/petrinet/petrinet.c index 79da104..a54a999 100644 --- a/all_pairs/source/petrinet/petrinet.c +++ b/all_pairs/source/petrinet/petrinet.c | |||
| @@ -976,12 +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_each_job { | 980 | petrinet_main(); |
| 981 | 981 | } | |
| 982 | petrinet_main(); | 982 | WRITE_TO_FILE |
| 983 | } | ||
| 984 | WRITE_TO_FILE | ||
| 985 | 983 | ||
| 986 | return ( petrinet_return() ); | 984 | return ( petrinet_return() ); |
| 987 | } | 985 | } |
