changes default hint to be capitalized

hazelgrove · Dec 20, 2024 · 976f67e · 976f67e
1 parent aced072
commit 976f67e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/haz3lweb/exercises/Exercise.re b/src/haz3lweb/exercises/Exercise.re
@@ -383,7 +383,7 @@ let update_exercise_title = ({eds, _}: state, new_title: string) => {
 let add_buggy_impl = (state: state) => {
   let new_buggy_impl = {
     impl: Editor.Model.mk(Zipper.init()),
-    hint: "no hint provided",
+    hint: "No Hint Available",
   };
   {
     eds: {
@@ -485,7 +485,7 @@ let update_syntax_rep = ({eds}: state, new_hints: list(string)) => {
           let new_hint = List.nth_opt(new_hints, i);
           switch (new_hint) {
           | Some(hint) => (hint, predicate)
-          | None => ("No hint provided", predicate)
+          | None => ("No Hint Provided", predicate)
           };
         },
         eds.syntax_tests,

diff --git a/src/haz3lweb/exercises/Grading.re b/src/haz3lweb/exercises/Grading.re
@@ -913,7 +913,7 @@ module ImplGradingReport = {
           statuses,
           hints,
           Haz3lcore.TestStatus.Indet,
-          "No hint available.",
+          "No Hint Available",
         );
 
       | None =>