Commit f172f2e5 authored by MARCHE Claude's avatar MARCHE Claude

fix extraction of local context for printing task

parent 8d32a4c3
......@@ -543,7 +543,7 @@ let print_goal fmt d =
let local_decls task symbmap =
let rec skip t = function
| { td_node = Clone (th,_) } :: rest
| { td_node = Use th } :: rest
when id_equal t.th_name th.th_name -> rest
| _ :: rest -> skip t rest
| [] -> []
......
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