X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FtacticAst.ml;h=e01b7e7edf2985559668d517fedd7be60781b08b;hb=5edfd170706c91c5d3a9d3522360b748a2dc034f;hp=23a8b8e6755c34071a78bdd1419a9ea5e6118808;hpb=3605d724ae0b95e17e668b6e140c35ab19568bb2;p=helm.git

diff --git a/helm/ocaml/cic_transformations/tacticAst.ml b/helm/ocaml/cic_transformations/tacticAst.ml
index 23a8b8e67..e01b7e7ed 100644
--- a/helm/ocaml/cic_transformations/tacticAst.ml
+++ b/helm/ocaml/cic_transformations/tacticAst.ml
@@ -97,6 +97,7 @@ type 'term macro =
   | Check of loc * 'term 
   | Hint of loc
   | Match of loc * 'term 
+  | Instance of loc * 'term 
   | Quit of loc
   | Redo of loc * int option
   | Undo of loc * int option