]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/pa_unicode_macro.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / utf8_macros / pa_unicode_macro.ml
index d14401f84e899603daef01fa5968c6c678e98256..dda7d4cabc852161144df5a893c1dfc253985d0e 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s)