fixup

Kappa-Dev · Mar 21, 2024 · 90fc05f · 90fc05f
1 parent cca7f77
commit 90fc05f
Show file tree

Hide file tree

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