added implementation validation but still buggy

hazelgrove · Nov 18, 2024 · 42981d6 · 42981d6
1 parent e4330cf
commit 42981d6
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/haz3lweb/view/TutorialMode.re b/src/haz3lweb/view/TutorialMode.re
@@ -48,10 +48,10 @@ let view =
     hidden_tests: _,
   }:
     Tutorial.stitched(Tutorial.DynamicsItem.t) = stitched_dynamics;
-  let grading_report =
-    TutorialGrading.GradingReport.mk(eds, ~stitched_dynamics);
-  let score_view =
-    TutorialGrading.GradingReport.view_overall_score(grading_report);
+  // let grading_report =
+  //   TutorialGrading.GradingReport.mk(eds, ~stitched_dynamics);
+  // let score_view =
+  //   TutorialGrading.GradingReport.view_overall_score(grading_report);
 
   let editor_view =
       (
@@ -144,7 +144,7 @@ let view =
       ),
     );
 
-  [score_view, title_view]
+  [title_view]
   @ render_cells(
       settings,
       [