From 42981d6f4fb363f37f53a10ee8fffdf5ca79e592 Mon Sep 17 00:00:00 2001 From: reevafaisal Date: Mon, 18 Nov 2024 08:23:25 -0500 Subject: [PATCH] added implementation validation but still buggy --- src/haz3lweb/view/TutorialMode.re | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/haz3lweb/view/TutorialMode.re b/src/haz3lweb/view/TutorialMode.re index b926073518..a46c69ed3e 100644 --- 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, [