From 1e78dc69f7fc4b31d8b05ee2c905d3bdf27b5aa9 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 26 Sep 2026 01:52:08 +0000 Subject: Fix build, allow users to register relations --- lib/kernel/EphemeralRelation.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/kernel/EphemeralRelation.ml') diff --git a/lib/kernel/EphemeralRelation.ml b/lib/kernel/EphemeralRelation.ml index 8aa0463..a837756 100644 --- a/lib/kernel/EphemeralRelation.ml +++ b/lib/kernel/EphemeralRelation.ml @@ -35,6 +35,7 @@ module Make (D : DERIVATION) = struct method predicate = Ok None method local_constraints = Ok None method modes = Ok declaration + method to_string = "ephemeral-relation" (* A cursor holds a reference to its relation, so the edges it reads outlive a release of the relation that produced it. *) -- cgit v1.2.3