Merge pull request #1806 from voodoos/menhir-compat

Ignore new Menhir deprecations
ocaml · Jul 24, 2024 · f12a7c6 · f12a7c6
2 parents ce92495 + 74be9c0
commit f12a7c6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ocaml/preprocess/recover/gen_recover.ml b/src/ocaml/preprocess/recover/gen_recover.ml
@@ -23,7 +23,7 @@ let () =
 module G = Cmly_read.Read (struct let filename = !name end)
 module A = Recover_attrib.Make(G)
 
-let () =
+let[@alert "-deprecated"] () =
   let open Format in
   let ppf = Format.err_formatter in
   if !verbose then begin

diff --git a/src/ocaml/preprocess/recover/synthesis.ml b/src/ocaml/preprocess/recover/synthesis.ml
@@ -104,7 +104,7 @@ struct
      | _ -> false)
 *)
 
-  let cost_of = function
+  let[@alert "-deprecated"] cost_of = function
     | Head (st, n) ->
         let acc = List.fold_left
             (fun acc (_sym, st') ->
@@ -184,7 +184,7 @@ struct
   let cost_of_actions actions =
     List.fold_left (fun cost act -> cost +. cost_of_action act) 0.0 actions
 
-  let solution = function
+  let[@alert "-deprecated"] solution = function
     | Head (st, n) ->
         let acc = Abort in
         let acc = List.fold_left