diff options
| -rw-r--r-- | Changes | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -101,6 +101,7 @@ Bug Fixes: otherwise. This reduces (but does not eliminate) the risk of segmentation faults due to stack overflow in C code - PR#5073: wrong location for 'Unbound record field label' error +- PR#5131: compilation of custom runtime with g++ generates lots of warnings - PR#5211: updated Genlex documentation to state that camlp4 is mandatory for 'parser' keyword and associated notation - PR#5224: confusing error message in non-regular type definition |