Resolved merge conflict in Init.ml

hazelgrove · Oct 24, 2024 · 59404a4 · 59404a4
1 parent 2cef72a
commit 59404a4
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml
@@ -29,7 +29,12 @@ let startup : PersistentData.t =
         benchmark = false;
         mode = Tutorial;
         explainThis =
-          { show = true; show_feedback = false; highlight = NoHighlight; mode = Tutorial };
+          {
+            show = true;
+            show_feedback = false;
+            highlight = NoHighlight;
+            (* mode = Tutorial; *)
+          };
       };
     scratch =
       ( 0,