X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FfourierR.ml;h=5418e114935cc4af1f0742be18cd64634b70ac75;hb=f553eb12e42b11d37dbf1ae3f8ceb859a875df98;hp=32dfb5db27ed2529000dcb39411ef0aae1e3c376;hpb=afa05d30f20de12e031c3e5c3e5c33c19c42a7d8;p=helm.git

diff --git a/helm/ocaml/tactics/fourierR.ml b/helm/ocaml/tactics/fourierR.ml
index 32dfb5db2..5418e1149 100644
--- a/helm/ocaml/tactics/fourierR.ml
+++ b/helm/ocaml/tactics/fourierR.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 
 (******************** THE FOURIER TACTIC ***********************)