Commit e65c9dc2 authored by Sylvain Dailler's avatar Sylvain Dailler

code layout

parent 97362ba1
......@@ -376,7 +376,10 @@ let rec wrap_to_store : type a b. (a, b) trans_typ -> a -> string list -> Env.en
| Tprlist t', s :: tail ->
let pr_list = parse_list_ident s in
let pr_list =
List.map (fun id -> try find_pr id.Ptree.id_str tables with | Not_found -> raise (Arg_hyp_not_found s) ) pr_list in
List.map (fun id ->
try find_pr id.Ptree.id_str tables with
| Not_found -> raise (Arg_hyp_not_found s))
pr_list in
wrap_to_store t' (f pr_list) tail env tables task
| Tlsymbol t', s :: tail ->
let pr = try (find_ls s tables) with
......
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