diff --git a/src/haz3lweb/exercises/Grading.re b/src/haz3lweb/exercises/Grading.re index ae22c15115..a3db586d1f 100644 --- a/src/haz3lweb/exercises/Grading.re +++ b/src/haz3lweb/exercises/Grading.re @@ -1020,7 +1020,7 @@ module ImplGradingReport = { // TestView.test_instance_view(~font_metrics, instance), ] @ [ - label([text("New point max:")]), + label([text("Hint: ")]), input( ~attrs=[ //Attr.type_("string"),