Commit ebe465a7 authored by Andrei Paskevich's avatar Andrei Paskevich

Printer: add a fix, forgotten in d993da

parent 00f48b25
......@@ -199,7 +199,7 @@ let print_prelude_of_theories th_used fmt pm =
let print_th_prelude task fmt pm =
let th_used = task_fold (fun acc -> function
| { td_node = Clone (th,_) } -> th::acc
| { td_node = Use th | Clone (th,_) } -> th::acc
| _ -> acc) [] task
in
print_prelude_of_theories th_used fmt pm
......
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