X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Fhistory.ml;h=7559f367e58ad4e47b778816057f5c0267f102a8;hb=782253ebe87375f52c07899c1501db5a665a457f;hp=3a966b56f2eeb997717914f660877ba69e164f10;hpb=530ba8fae13eca642122731be5a7b36f0b809edb;p=helm.git

diff --git a/helm/ocaml/tactics/history.ml b/helm/ocaml/tactics/history.ml
index 3a966b56f..7559f367e 100644
--- a/helm/ocaml/tactics/history.ml
+++ b/helm/ocaml/tactics/history.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 exception History_failure
 
 class ['a] history size =