X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIProperty.ml;h=0e3e2be72849d28bac7d6eff9938f81ccb6f737b;hb=9262517c80e17d46b9bf9931dc879ac653a633e9;hp=60a003a3213891a8391da74fb550e0ee72a622b3;hpb=52f0f77f24e6a1dfd2a1b277d6ade218039ba574;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml
index 60a003a32..0e3e2be72 100644
--- a/helm/ocaml/mathql_interpreter/mQIProperty.ml
+++ b/helm/ocaml/mathql_interpreter/mQIProperty.ml
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 module M = MathQL
 module C = MQIConn
 module U = MQIUtil