diff options
Diffstat (limited to '')
| -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 = |