]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/tutors/hbugs_tutor.TPL.ml
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / tutors / hbugs_tutor.TPL.ml
index 07d20c949f8c5ddd8a55bf8078c1cd4026e50e51..1c635cecedad3dd5b29514b29cf7835f0dd20301 100644 (file)
@@ -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) ;;