From 2752f7aeba9b6cef774783ba0a54c2025a3d692b Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 27 Sep 2026 23:25:18 -0300 Subject: follow only a snapshot instead of the dead branch --- lib/protocols/Session.ml | 2 +- lib/protocols/Session.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'lib') diff --git a/lib/protocols/Session.ml b/lib/protocols/Session.ml index 5558003..5eecf72 100644 --- a/lib/protocols/Session.ml +++ b/lib/protocols/Session.ml @@ -1,4 +1,4 @@ -type state = {branch: string; snapshot: Concepts.Hash.hash} +type state = {snapshot: Concepts.Hash.hash} class type implementation = object method state : state diff --git a/lib/protocols/Session.mli b/lib/protocols/Session.mli index 42c508c..442ab0e 100644 --- a/lib/protocols/Session.mli +++ b/lib/protocols/Session.mli @@ -1,4 +1,4 @@ -type state = {branch: string; snapshot: Concepts.Hash.hash} +type state = {snapshot: Concepts.Hash.hash} type t class type implementation = object -- cgit v1.2.3