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.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/protocols/Session.mli') 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