From 5a8190d19187ebd7876524173fa236e9975ff87f Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 13 Sep 2003 23:58:39 +0000
Subject: [PATCH] added environment setting (set by fill_template)

---
 helm/hbugs/tutors/hbugs_tutor.TPL.ml | 1 +
 1 file changed, 1 insertion(+)

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) ;;
-- 
2.39.2