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)