X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2Fhbugs_tutors_common.mli;h=43cd99cceda981b025d15df49bf84421c9641701;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=927e31b4f94e330dcd8d9e98244d92df1671272b;hpb=ed90e027472d0250d45ae7200600c8804dd476f1;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