diff options
Diffstat (limited to 'lib/management/branch.ml')
| -rw-r--r-- | lib/management/branch.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/management/branch.ml b/lib/management/branch.ml index ea15311..1d218b1 100644 --- a/lib/management/branch.ml +++ b/lib/management/branch.ml @@ -100,7 +100,7 @@ module Make (Storage : Physical.S with type error = string) = struct ~tree:None ~constraints:None ~cardinality:Conventions.Cardinality.ConstrainedFinite ~generator:(Some generator) - ~membership_criteria:(fun _ -> true) + ~membership_criteria:(fun _ _ -> true) ~provenance:(Relation.Provenance.Base Prelude.Catalog.branch_rel_name) ~lineage:(Relation.Lineage.Base Prelude.Catalog.branch_rel_name) @@ -127,7 +127,7 @@ module Make (Storage : Physical.S with type error = string) = struct ~tree:None ~constraints:None ~cardinality:Conventions.Cardinality.ConstrainedFinite ~generator:(Some generator) - ~membership_criteria:(fun _ -> true) + ~membership_criteria:(fun _ _ -> true) ~provenance:(Relation.Provenance.Base Prelude.Catalog.head_rel_name) ~lineage:(Relation.Lineage.Base Prelude.Catalog.head_rel_name) end |