Resolved merge conflict in Init.ml

hazelgrove · Oct 24, 2024 · 2cef72a · 2cef72a
1 parent 4e3ccec
commit 2cef72a
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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,