From 89bd87cab8e6216b1f87389f93424468710e5f21 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 24 Jan 2017 13:04:51 +0100
Subject: Do not print anonymous member names in debug info

Anonymous members no longer are printed in the debug information.
Fix 20798
---
 debug/DebugTypes.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debug/DebugTypes.mli')

diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli
index 25c7390f..c3df6066 100644
--- a/debug/DebugTypes.mli
+++ b/debug/DebugTypes.mli
@@ -19,6 +19,7 @@ open Camlcoq
 type composite_field =
     {
      cfd_name:        string;
+     cfd_anon:        bool;
      cfd_typ:         int;
      cfd_bit_size:    int option;
      cfd_bit_offset:  int option;
-- 
cgit