diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 03:00:57 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 03:00:57 -0300 |
| commit | 3184f85de1dac7071afcf9838dfc3f8609b20a5a (patch) | |
| tree | 27dadf6e541dd1dceb1ae32ceacd23205f667eed /lib/kernel | |
| parent | 2c7ff1f0f7d9c71a8f866bfc9e75c1ad6a5feaa3 (diff) | |
| download | RNT-3184f85de1dac7071afcf9838dfc3f8609b20a5a.tar.gz RNT-3184f85de1dac7071afcf9838dfc3f8609b20a5a.zip | |
provenance
Diffstat (limited to 'lib/kernel')
| -rw-r--r-- | lib/kernel/SubstantialRelation.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/kernel/SubstantialRelation.ml b/lib/kernel/SubstantialRelation.ml index 0176928..1b58e9a 100644 --- a/lib/kernel/SubstantialRelation.ml +++ b/lib/kernel/SubstantialRelation.ml @@ -120,11 +120,12 @@ module Make (S : Abstract.Storage.STORAGE) = struct kvs |> List.map (fun (name, domain) -> Concepts.Encoding.Bencode.as_string domain - |> Result.map (fun domain -> (name, domain))) + |> Result.map (fun domain -> + (name, {Protocols.Schematics.domain; provenance= []}) ) ) |> Utilities.List.sequence |> Result.map (fun kvs -> List.fold_left - (fun acc (name, domain) -> BatMap.String.add name domain acc) + (fun acc (name, attribute) -> BatMap.String.add name attribute acc) BatMap.String.empty kvs) let scan storage relation ~keep = |