Remove unnecessary print statement (#1404)

hazelgrove · Oct 2, 2024 · 35629e9 · 35629e9
2 parents 6eb4622 + 33cd14f
commit 35629e9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/haz3lweb/Editors.re b/src/haz3lweb/Editors.re
@@ -56,7 +56,6 @@ let perform_action =
       CoreSettings.on
     | _ => settings
     };
-  print_endline("action: " ++ Action.show(a));
   switch (Perform.go(~settings, a, get_editor(editors))) {
   | Error(err) => Error(FailedToPerform(err))
   | Ok(ed) => Ok(put_editor(ed, editors))