From 76d1b0a60ea5979c13f71f7e1dc6b0f0a8f4e16f Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Fri, 27 Sep 2024 15:28:41 -0400
Subject: [PATCH] Remove state from apply

---
 src/haz3lweb/Main.re   | 2 +-
 src/haz3lweb/Update.re | 4 +---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/haz3lweb/Main.re b/src/haz3lweb/Main.re
index 0fe76fe63c..af8058b770 100644
--- a/src/haz3lweb/Main.re
+++ b/src/haz3lweb/Main.re
@@ -31,7 +31,7 @@ let apply = (model, action, ~schedule_action): Model.t => {
   last_edit_action := JsUtil.timestamp();
   switch (
     try({
-      let new_model = Update.apply(model, action, (), ~schedule_action);
+      let new_model = Update.apply(model, action, ~schedule_action);
       Log.update(action);
       new_model;
     }) {
diff --git a/src/haz3lweb/Update.re b/src/haz3lweb/Update.re
index 26324a9c2e..1aacb159f3 100644
--- a/src/haz3lweb/Update.re
+++ b/src/haz3lweb/Update.re
@@ -397,9 +397,7 @@ let ui_state_update =
   };
 };
 
-let apply =
-    (model: Model.t, update: t, _state: State.t, ~schedule_action)
-    : Result.t(Model.t) => {
+let apply = (model: Model.t, update: t, ~schedule_action): Result.t(Model.t) => {
   let perform_action = (model: Model.t, a: Action.t): Result.t(Model.t) => {
     switch (
       Editors.perform_action(~settings=model.settings.core, model.editors, a)