From 2cef72a1e20f5c258f85360f1c3843e8027c4657 Mon Sep 17 00:00:00 2001
From: reevafaisal <reevaf@umich.edu>
Date: Thu, 24 Oct 2024 17:21:41 -0400
Subject: [PATCH] Resolved merge conflict in Init.ml

---
 src/haz3lweb/Init.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml
index ef5bbb2f7..6fad24c2a 100644
--- a/src/haz3lweb/Init.ml
+++ b/src/haz3lweb/Init.ml
@@ -27,10 +27,9 @@ let startup : PersistentData.t =
         context_inspector = false;
         instructor_mode = true;
         benchmark = false;
-        (* mode = Tutorial; *)
+        mode = Tutorial;
         explainThis =
-          { show = true; show_feedback = false; highlight = NoHighlight };
-        mode = Documentation;
+          { show = true; show_feedback = false; highlight = NoHighlight; mode = Tutorial };
       };
     scratch =
       ( 0,