Merge pull request #10417 from dra27/10405-bootstrap

Bootstrap following 10405
ocaml · May 19, 2021 · 5eddf63 · 5eddf63
2 parents 5fbd6e1 + a3c655a
commit 5eddf63
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/Changes b/Changes
@@ -239,8 +239,8 @@ Working version
 
 ### Compiler user-interface and warnings:
 
-- #1737, #2092, #7852, #7859, #10405: Update locations during destructive
-  substitutions
+- #1737, #2092, #7852, #7859, #10405, #10417: Update locations during
+  destructive substitutions
   (Thomas Refis, review by Gabriel Radanne, report by Hugo Heuzard)
 
 - #8732, improved error messages for invalid private row type definitions.

diff --git a/boot/ocamlc b/boot/ocamlc
diff --git a/boot/ocamllex b/boot/ocamllex