Commit 5e277d96 authored by Andrei Paskevich's avatar Andrei Paskevich

fix a minor inefficiency in split_theory

parent 2214aa5f
......@@ -235,8 +235,9 @@ let rec use_export names acc td =
end
let split_theory th names =
let acc = Sid.empty, empty_clone, [], of_option init_task in
let _, _, res, _ = List.fold_left (use_export names) acc th.th_decls in
let use = Sid.add builtin_theory.th_name Sid.empty in
let acc = use, empty_clone, [], of_option init_task in
let _,_,res,_ = List.fold_left (use_export names) acc th.th_decls in
res
(* Generic utilities *)
......
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