X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2Fhbugs_tutor.TPL.ml;h=1c635cecedad3dd5b29514b29cf7835f0dd20301;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=07d20c949f8c5ddd8a55bf8078c1cd4026e50e51;hpb=ed90e027472d0250d45ae7200600c8804dd476f1;p=helm.git

diff --git a/helm/hbugs/tutors/hbugs_tutor.TPL.ml b/helm/hbugs/tutors/hbugs_tutor.TPL.ml
index 07d20c949..1c635cece 100644
--- 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) ;;