(tac_w_term (A.Transitivity (loc, hole)));
connect_button tbar#assumptionButton (tac (A.Assumption loc));
connect_button tbar#cutButton (tac_w_term (A.Cut (loc, hole)));
- connect_button tbar#autoButton (tac (A.Auto loc));
+ connect_button tbar#autoButton (tac (A.Auto (loc,None)));
(* quit *)
self#setQuitCallback (fun () -> exit 0);
(* log *)