diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/protocols/Context.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/protocols/Context.ml b/lib/protocols/Context.ml deleted file mode 100644 index b7c8a37..0000000 --- a/lib/protocols/Context.ml +++ /dev/null @@ -1,4 +0,0 @@ -type t = - { snapshot : Concepts.Hash.hash - ; root : Handle.t - ; status : unit -> [`Live | `Cancelled | `Exhausted] } |