Update to add padding at the end of structs.

diff --git a/Repair/RepairCompiler/structextract/dumpstructures.c b/Repair/RepairCompiler/structextract/dumpstructures.c
index bfcc596365af9a711489a4611466d46a55cd6c09..4df6b59b753e4c165640e507802bbf97cebf5ae7 100755 (executable)
--- a/Repair/RepairCompiler/structextract/dumpstructures.c
+++ b/Repair/RepairCompiler/structextract/dumpstructures.c
@@ -183,6 +183,8 @@ void initializeTypeArray()
              printf("   %s %s%s;\n",typestr,name,poststr);
            }
          }
+         if (offset<collection_ptr->byte_size)
+           printf("   reserved byte[%ld];\n",collection_ptr->byte_size-offset);
          printf("}\n\n");
         }
     }