fixup

Author: yumibagge

regression/cbmc/pointer-to-struct-with-flexible-array-member-as-parameter-to-entry-point/main.c

@@ -1,15 +1,15 @@
 #include <assert.h>
 #include <stdlib.h>
+
 typedef struct ST ST;
-typedef struct ST {
-  int id;
-  ST *c[];
+typedef struct ST
+{
+  // int id;
+  // ST *c[];
+  int c[];
 } ST;
 
-void testFunc(ST ** t) {
-  *t = malloc(sizeof(ST));
-  assert(sizeof(ST));
-}
-
-int main() {
+void testFunc(ST **t)
+{
+  *t=malloc(sizeof(ST));
 }