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, 4 insertions, 6 deletions

diff --git a/baseline/source/petrinet/petrinet.c b/baseline/source/petrinet/petrinet.c
index 79da104..a54a999 100644
--- a/baseline/source/petrinet/petrinet.c
+++ b/baseline/source/petrinet/petrinet.c
@@ -976,12 +976,10 @@ int petrinet_return( void )
 int main( int argc, char **argv )
 {
   SET_UP
-
-   for_each_job {
-        
-        petrinet_main();
-        }       
-        WRITE_TO_FILE
+  for_each_job {
+    petrinet_main();
+  }
+  WRITE_TO_FILE
 
   return ( petrinet_return() );
 }