Fixed a bug where the pencil icon appeared outside of instructor mode

hazelgrove · Oct 6, 2024 · 746a54b · 746a54b
1 parent bf68618
commit 746a54b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re
@@ -81,7 +81,7 @@ let view =
   let prompt_view = {
     let (msg, _) =
       ExplainThis.mk_translation(~inject=Some(inject), eds.prompt);
-    let msg =
+    let new_msg =
       msg
       @ [
         div(
@@ -119,7 +119,7 @@ let view =
                       ),
                     ],
                   )
-                : div(~attrs=[Attr.class_("prompt-content")], msg)
+                : div(~attrs=[Attr.class_("prompt-content")], new_msg)
             : div(~attrs=[Attr.class_("prompt-content")], msg),
         ],
       ),