added environment setting (set by fill_template)

diff --git a/helm/hbugs/tutors/hbugs_tutor.TPL.ml b/helm/hbugs/tutors/hbugs_tutor.TPL.ml
index 07d20c949f8c5ddd8a55bf8078c1cd4026e50e51..1c635cecedad3dd5b29514b29cf7835f0dd20301 100644 (file)
--- a/helm/hbugs/tutors/hbugs_tutor.TPL.ml
+++ b/helm/hbugs/tutors/hbugs_tutor.TPL.ml
@@ -34,6 +34,7 @@ module TutorDescription =
     let hint = @HINT@
     let hint_type = "@HINT_TYPE@"
     let description = "@DESCRIPTION@"
+    let environment_file = "@ENVIRONMENT_FILE@"
   end
 ;;
 module Tutor = Hbugs_tutors_common.BuildTutor (TutorDescription) ;;