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