Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / tactics / tacticChaser.ml

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index de356a3d1f52860237a9582bb57b0ddc991e271f..cb700f776c5debbdfb6bbd716339b2b472ddd4a3 100644 (file)
--- 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