]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_generator/cGSearchPattern.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / mathql_generator / cGSearchPattern.ml
index 47345e9f3bd079d9e84572224bb5848195f7e573..1d7e85937bf644f67bd94d97879f8c3c6eb8c5da 100644 (file)
@@ -34,6 +34,8 @@
 (*                                                                            *)
 (******************************************************************************)
 
+(* $Id$ *)
+
 module T = MQGTypes
 module U = MQGUtil