From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 13 Sep 2003 23:58:39 +0000 (+0000)
Subject: added environment setting (set by fill_template)
X-Git-Tag: V_0_4_3_4~33
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5a8190d19187ebd7876524173fa236e9975ff87f

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