X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite_engine%2FgrafiteSync.ml;h=37a3132e70e232c04b1437f6613d36c6983a02ef;hb=be5869cd0bbe16c8a67827723c97d2d4fce4c0bc;hp=853a827c0d2f2110c10c3992bf88f0e6d8fd2f81;hpb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;p=helm.git

diff --git a/helm/ocaml/grafite_engine/grafiteSync.ml b/helm/ocaml/grafite_engine/grafiteSync.ml
index 853a827c0..37a3132e7 100644
--- a/helm/ocaml/grafite_engine/grafiteSync.ml
+++ b/helm/ocaml/grafite_engine/grafiteSync.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 let add_obj ~basedir uri obj status =