duplicate_field.res.oracle

[kernel] Parsing duplicate_field.i (no preprocessing)
[kernel] duplicate_field.i:8: User Error: 
  field x occurs multiple times in aggregate struct test. Previous occurrence is at line 7.
[kernel] User Error: stopping on file "duplicate_field.i" that has errors.
[kernel] Frama-C aborted: invalid user input.