X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Ftest.ml;h=8f98bfd44f3cf3682240e6d9d82a504435f843f2;hb=ff4f8bef029d1c55b2e50c5635b0ca98c967d9ff;hp=7e1a48373033d6c2848065f2055bbd81ea34a7d0;hpb=708d2e2da7e5cfae98d69b325db56960e33fd38f;p=helm.git

diff --git a/helm/ocaml/utf8_macros/test.ml b/helm/ocaml/utf8_macros/test.ml
index 7e1a48373..8f98bfd44 100644
--- a/helm/ocaml/utf8_macros/test.ml
+++ b/helm/ocaml/utf8_macros/test.ml
@@ -1 +1,3 @@
+(* $Id$ *)
+
 prerr_endline <:unicode<lambda>>