Whitespace fixes for TACLeBench and copyright update in extra.h

Also move run_all_dis.sh up a directory in preperation for
further changes.

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 )
 
 int main ( int argc, char **argv )
 {
-        SET_UP
-        for_each_job {
-                statemate_init();
-                statemate_main();
-        }
-        WRITE_TO_FILE
+  SET_UP
+  for_each_job {
+    statemate_init();
+    statemate_main();
+  }
+  WRITE_TO_FILE
 
   return statemate_return();
 }