X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FtacticChaser.ml;h=cb700f776c5debbdfb6bbd716339b2b472ddd4a3;hb=cbac948d507d74a558ba7f11ce10bc252b1ba8ba;hp=de356a3d1f52860237a9582bb57b0ddc991e271f;hpb=e2fb8962f72096d3f0bb19f40b00a3502a11e932;p=helm.git

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index de356a3d1..cb700f776 100644
--- a/helm/ocaml/tactics/tacticChaser.ml
+++ b/helm/ocaml/tactics/tacticChaser.ml
@@ -33,6 +33,8 @@
 (*                                                                           *)
 (*****************************************************************************)
 
+(* $Id$ *)
+
 module MQI = MQueryInterpreter
 module MQIC = MQIConn
 module I = MQueryInterpreter