diff --git a/infer/src/IR/Struct.ml b/infer/src/IR/Struct.ml index b82dee00e..1823481e8 100644 --- a/infer/src/IR/Struct.ml +++ b/infer/src/IR/Struct.ml @@ -87,7 +87,8 @@ let pp pe name f exported_obj_methods: {@[%a@]}@,\ annots: {@[%a@]}@,\ java_class_info: {@[%a@]}@,\ - dummy: %b@]@," + dummy: %b@,\ + @]" Typ.Name.pp name (seq (pp_field pe)) fields