From 1638b14da99a1dfd89e379dd4b457bb27bcb9a9b Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 14 Jan 2025 12:32:17 -0600 Subject: T7046: T6946: make world fields reference_tree, running_config mutable The world data structure is fixed in the main loop, however, it will need updates for dynamic loading of reference tree in the presence of addons, respectively, the running config at completion of commit. --- src/session.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/session.ml') diff --git a/src/session.ml b/src/session.ml index a8eccad..567f999 100644 --- a/src/session.ml +++ b/src/session.ml @@ -10,8 +10,8 @@ type cfg_op = | CfgDelete of string list * string option type world = { - running_config: CT.t; - reference_tree: RT.t; + mutable running_config: CT.t; + mutable reference_tree: RT.t; vyconf_config: Vyconf_config.t; dirs: Directories.t } -- cgit v1.2.3