From da9a16cb73b7d1f19a495d9ef3eb0064fab50cba Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 13 Jul 2004 18:53:05 +0000
Subject: [PATCH] Update to add padding at the end of structs.

---
 Repair/RepairCompiler/structextract/dumpstructures.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Repair/RepairCompiler/structextract/dumpstructures.c b/Repair/RepairCompiler/structextract/dumpstructures.c
index bfcc596..4df6b59 100755
--- 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");
         }
     }
-- 
2.34.1