From 90fc05fb2c659ca13240fc8f00565e244e2aa0d1 Mon Sep 17 00:00:00 2001
From: Antoine Pouille <m.pouille.antoine+github@gmail.com>
Date: Thu, 21 Mar 2024 17:09:07 +0100
Subject: [PATCH] fixup

---
 gui/state_project.ml | 13 +++++++------
 gui/tab_editor.ml    |  2 +-
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/gui/state_project.ml b/gui/state_project.ml
index c571f6853..c87f3e850 100644
--- a/gui/state_project.ml
+++ b/gui/state_project.ml
@@ -223,12 +223,13 @@ let update_state me project_catalog default_parameters project_parameters =
     let st = React.S.value state in
     let () =
       set_state
-      { st with
-        project_current = Some me;
-        project_version = (st.project_version + 1);
-      }
-  in
-  Lwt.return out
+        {
+          st with
+          project_current = Some me;
+          project_version = st.project_version + 1;
+        }
+    in
+    Lwt.return out
 
 let computing_watcher manager setter =
   let delay = 1. in
diff --git a/gui/tab_editor.ml b/gui/tab_editor.ml
index eb222a047..496210f1c 100644
--- a/gui/tab_editor.ml
+++ b/gui/tab_editor.ml
@@ -161,7 +161,7 @@ let init_dead_agents () =
 let init_non_weakly_reversible_transitions () =
   State_project.on_project_change_async ~on:(React.S.const true)
     (React.S.const ()) (Result_util.ok ()) (fun manager () ->
-      State_error.wrap ~append:true "tab_editor_dead_rule"
+      State_error.wrap ~append:true "non_weakly_reversible_transitions"
         (if
            (*model.State_project.model_parameters
                   .State_project.show_non_weakly_reversible_transitions*)