X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhbugs%2Ftutors%2Fhbugs_tutors_common.mli;fp=helm%2Fhbugs%2Ftutors%2Fhbugs_tutors_common.mli;h=43cd99cceda981b025d15df49bf84421c9641701;hb=05fb48fba4c9a1189bfba8eaa4fbb429f9e20b6c;hp=927e31b4f94e330dcd8d9e98244d92df1671272b;hpb=5a8190d19187ebd7876524173fa236e9975ff87f;p=helm.git

diff --git a/helm/hbugs/tutors/hbugs_tutors_common.mli b/helm/hbugs/tutors/hbugs_tutors_common.mli
index 927e31b4f..43cd99cce 100644
--- a/helm/hbugs/tutors/hbugs_tutors_common.mli
+++ b/helm/hbugs/tutors/hbugs_tutors_common.mli
@@ -53,6 +53,7 @@ module type HbugsTutorDescription =
     val hint: hint
     val hint_type: hint_type
     val description: string
+    val environment_file: string
   end
 
 module BuildTutor (Dsc: HbugsTutorDescription) : HbugsTutor