From 916ea4510c35e1e37cf2ff53f48df20a1a1998bf Mon Sep 17 00:00:00 2001
From: John Estabrook <jestabro@vyos.io>
Date: Tue, 14 Oct 2025 15:54:52 -0700
Subject: T7910: drop proposed_config field from session record

After the move in T7728 to dynamically generate the session proposed
config, the record field can be dropped.
---
 src/session.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/session.ml')

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 = [];
-- 
cgit v1.2.3