Typo in warning message
This warning message in src/main/main_warnings/main_warnings.ml
Toplevel let declaration are silently change to const declaration.
should read
Toplevel let declaration is silently changed to const declaration.
This warning message in src/main/main_warnings/main_warnings.ml
Toplevel let declaration are silently change to const declaration.
should read
Toplevel let declaration is silently changed to const declaration.
1742-typo-in-warning-message
to address this issue created branch 1742-typo-in-warning-message
to address this issue
mentioned in merge request !2544 (merged)
mentioned in commit eb407a66
closed with merge request !2544 (merged)