Commit 72155b19 authored by POTTIER Francois's avatar POTTIER Francois

Renaming [NonTerminalDefinitionInlining] to [Inlining].

parent aff10f81
...@@ -172,7 +172,7 @@ let grammar = ...@@ -172,7 +172,7 @@ let grammar =
let grammar = let grammar =
if Settings.inline then begin if Settings.inline then begin
let grammar = NonTerminalDefinitionInlining.inline grammar in let grammar = Inlining.inline grammar in
(* 2018/05/23 Removed the warning that was issued when %inline was used (* 2018/05/23 Removed the warning that was issued when %inline was used
but --infer was turned off. Most people should use ocamlbuild or dune but --infer was turned off. Most people should use ocamlbuild or dune
anyway. *) anyway. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment