diff options
Diffstat (limited to 'baseline/source/statemate')
| -rw-r--r-- | baseline/source/statemate/statemate.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/baseline/source/statemate/statemate.c b/baseline/source/statemate/statemate.c index 2b76166..8239ed6 100644 --- a/baseline/source/statemate/statemate.c +++ b/baseline/source/statemate/statemate.c | |||
| @@ -1273,12 +1273,12 @@ void _Pragma ( "entrypoint" ) statemate_main( void ) | |||
| 1273 | 1273 | ||
| 1274 | int main ( int argc, char **argv ) | 1274 | int main ( int argc, char **argv ) |
| 1275 | { | 1275 | { |
| 1276 | SET_UP | 1276 | SET_UP |
| 1277 | for_each_job { | 1277 | for_each_job { |
| 1278 | statemate_init(); | 1278 | statemate_init(); |
| 1279 | statemate_main(); | 1279 | statemate_main(); |
| 1280 | } | 1280 | } |
| 1281 | WRITE_TO_FILE | 1281 | WRITE_TO_FILE |
| 1282 | 1282 | ||
| 1283 | return statemate_return(); | 1283 | return statemate_return(); |
| 1284 | } | 1284 | } |
