X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FtacticAst.ml;fp=helm%2Focaml%2Fcic_transformations%2FtacticAst.ml;h=a051c2af6336d2a93e4a54b2d84b18ae2b9a1211;hb=b6101c89b49ad1df07df62ec661c8b30bda99a2a;hp=c4f2a29ac4a389cc7ff9ac7e128fb8ea0e2b1efb;hpb=ee3f2aa5b78aa77555e5e81d5a2d92501889649e;p=helm.git

diff --git a/helm/ocaml/cic_transformations/tacticAst.ml b/helm/ocaml/cic_transformations/tacticAst.ml
index c4f2a29ac..a051c2af6 100644
--- a/helm/ocaml/cic_transformations/tacticAst.ml
+++ b/helm/ocaml/cic_transformations/tacticAst.ml
@@ -126,6 +126,7 @@ type obj =
       (string * CicAst.term) list
 
 type ('term,'obj) command =
+  | Include of loc * string
   | Set of loc * string * string
   | Drop of loc
   | Qed of loc