X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Fsearch_pattern_apply_tutor.ml;h=79c94beedbce7d3b68e9b774063799a19328216a;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=1f5dad1bcdfe194f5a6e417c5ba437f2c2c743a2;hpb=0575a1cb077087970f311b48f2e45dc4a01a6867;p=helm.git

diff --git a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
index 1f5dad1bc..79c94beed 100644
--- a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
+++ b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
@@ -1,3 +1,4 @@
+(* $Id$ *)
 
 open Hbugs_types;;
 open Printf;;