diff options
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/session.ml b/src/session.ml index 5f70feb..4156b73 100644 --- a/src/session.ml +++ b/src/session.ml @@ -30,7 +30,6 @@ type aux_op = { type session_data = { - proposed_config : CT.t; modified: bool; conf_mode: bool; changeset: cfg_op list; @@ -41,8 +40,7 @@ type session_data = { client_sudo_user: string; } -let make world client_app sudo_user user pid = { - proposed_config = world.running_config; +let make _world client_app sudo_user user pid = { modified = false; conf_mode = false; changeset = []; |