X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2FmatitaGui.ml;h=684e1fa2f3d40f9dc182326175f6db07fd0d5bc7;hb=37bbd741fbba797bc7c64318f13edce28131cd91;hp=a9faa592e8de974b5ce3192a81eacf22f556ac0c;hpb=b11675b6c6cdeaeabd74dfd99143ea5f87db205b;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index a9faa592e..684e1fa2f 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -990,7 +990,8 @@ class gui () =
       connect_button tbar#applyButton (tac_w_term (A.Apply (loc, hole)));
       connect_button tbar#exactButton (tac_w_term (A.Exact (loc, hole)));
       connect_button tbar#elimButton (tac_w_term
-        (A.Elim (loc, hole, None, None, [])));
+        (let pattern = None, [], Some CicNotationPt.UserInput in
+	A.Elim (loc, hole, None, pattern, None, [])));
       connect_button tbar#elimTypeButton (tac_w_term
         (A.ElimType (loc, hole, None, None, [])));
       connect_button tbar#splitButton (tac (A.Split loc));