Remove state from apply

hazelgrove · Sep 27, 2024 · 76d1b0a · 76d1b0a
1 parent 320611e
commit 76d1b0a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git 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
@@ -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)