Commit dc4ca557 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

WIP Renaming.

parent 19f4f7f9
......@@ -808,10 +808,10 @@ module G = struct
| SpecGenerateSimplified _ ->
assert false
let generate_arg renv spec =
let generate_arg env spec =
log "Generating an argument.\n%!";
section begin fun () ->
generate_arg renv spec no_requirement
generate_arg env spec no_requirement
end
(* [generate_context renv spec] generates an application context (that is,
......
Supports Markdown
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