let get_literal id =
let (_, nlit, plit, vl, proof),_,_ = Terms.get_from_bag id bag in
let lit = match nlit,plit with
- | [],[Terms.Equation (l,r,ty,_),_] ->
+ | [Terms.Equation (l,r,ty,_),_],[]
+ | [],[Terms.Equation (l,r,ty,_),_] ->
Terms.Node [ Terms.Leaf eqP(); ty; l; r]
| _ -> assert false
in