From c1f984d6121b9cf7d902b1bd6518ee50705f93df Mon Sep 17 00:00:00 2001 From: facundoy Date: Sat, 9 Nov 2024 15:38:00 -0500 Subject: [PATCH] Fixed a spelling error --- src/haz3lweb/view/Page.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/haz3lweb/view/Page.re b/src/haz3lweb/view/Page.re index 1b3f872fbc..42e3f57ef1 100644 --- a/src/haz3lweb/view/Page.re +++ b/src/haz3lweb/view/Page.re @@ -73,7 +73,7 @@ let handlers = }), ]; model.settings.editing_prompt - || modle.settings.editing_title + || model.settings.editing_title || model.settings.editing_test_val_rep || model.settings.editing_mut_test_rep || model.settings.editing_impl_grd_rep