commented out debugging tutor "wait"

diff --git a/helm/hbugs/tutors/INDEX.xml b/helm/hbugs/tutors/INDEX.xml
index 9de3517095206c2fcfa0c598d1e8ea42f4f794af..7936066b28c399411778805dca8f616c2e12c9b0 100644 (file)
--- a/helm/hbugs/tutors/INDEX.xml
+++ b/helm/hbugs/tutors/INDEX.xml
@@ -21,6 +21,19 @@
 -->
 
 <tutors>
+
+  <!-- DEBUGGING -->
+<!--
+  <tutor source="wait_tutor.ml">
+    <addr>127.0.0.1</addr>
+    <port>50111</port>
+    <tactic>Wait.wait_tac</tactic>
+    <hint>Hbugs_types.Use_ring_Luke</hint>
+    <hint_type>Use Ring Luke</hint_type>
+    <description>WAIT FOREVER tutor</description>
+  </tutor>
+-->
+
   <tutor source="ring_tutor.ml">
     <addr>127.0.0.1</addr>
     <port>50001</port>