X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FfwdSimplTactic.ml;h=0bae64f6c6fb7bb1e22a1ac84d4400cc4e0ae20a;hb=b555e6b8c27c765a4611dda9528963ebff116412;hp=a40dd42b339747cd5720abb515be742761e62aef;hpb=6203a9d0d56c7ec7cd11713b5ed56645271154be;p=helm.git

diff --git a/helm/ocaml/tactics/fwdSimplTactic.ml b/helm/ocaml/tactics/fwdSimplTactic.ml
index a40dd42b3..0bae64f6c 100644
--- a/helm/ocaml/tactics/fwdSimplTactic.ml
+++ b/helm/ocaml/tactics/fwdSimplTactic.ml
@@ -23,6 +23,7 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
 
 module PEH = ProofEngineHelpers 
 module U  = CicUniv