fixed a typo (inside a comment)

[helm.git] / helm / hbugs / tutors / hbugs_tutors_common.mli

diff --git a/helm/hbugs/tutors/hbugs_tutors_common.mli b/helm/hbugs/tutors/hbugs_tutors_common.mli
index 927e31b4f94e330dcd8d9e98244d92df1671272b..43cd99cceda981b025d15df49bf84421c9641701 100644 (file)
--- 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