Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / hbugs / search_pattern_apply_tutor.ml

diff --git a/helm/ocaml/hbugs/search_pattern_apply_tutor.ml b/helm/ocaml/hbugs/search_pattern_apply_tutor.ml
index 1f5dad1bcdfe194f5a6e417c5ba437f2c2c743a2..79c94beedbce7d3b68e9b774063799a19328216a 100644 (file)
--- 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;;