diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-26 01:52:08 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-09-26 01:52:08 +0000 |
| commit | 1e78dc69f7fc4b31d8b05ee2c905d3bdf27b5aa9 (patch) | |
| tree | d6ff90145d3888959e9639a31011792a15114373 /lib/kernel/EphemeralRelation.ml | |
| parent | 584fbca6d920e9a9f91d451667f9380714ac2175 (diff) | |
| download | RNT-1e78dc69f7fc4b31d8b05ee2c905d3bdf27b5aa9.tar.gz RNT-1e78dc69f7fc4b31d8b05ee2c905d3bdf27b5aa9.zip | |
Fix build, allow users to register relationsrelation-registration
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/EphemeralRelation.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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. *) |