From 7bfb3f5400fdd67a27224bdbd75c1a5d156b1d8c Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 18 Sep 2026 00:01:37 -0300 Subject: substantial relation context removal and test fix --- lib/kernel/SubstantialRelation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/kernel/SubstantialRelation.ml') diff --git a/lib/kernel/SubstantialRelation.ml b/lib/kernel/SubstantialRelation.ml index 6592acb..077f255 100644 --- a/lib/kernel/SubstantialRelation.ml +++ b/lib/kernel/SubstantialRelation.ml @@ -172,7 +172,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct discovers it cannot iterate one -- see [Protocols.Enumerable]. The context is accepted and unused here: this enumeration reads through its own cursor-lifetime transaction and needs no name resolution, but cancellation should eventually be checked between tuples. *) - method enumerate (_ : Protocols.Context.t) = enumerate storage relation + method enumerate = enumerate storage relation method protocols : Protocols.Handle.protocol list = [ Protocols.Relation.make self -- cgit v1.2.3