diff options
Diffstat (limited to 'lib/prelude/catalog.ml')
| -rw-r--r-- | lib/prelude/catalog.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/prelude/catalog.ml b/lib/prelude/catalog.ml index a277066..4a7241a 100644 --- a/lib/prelude/catalog.ml +++ b/lib/prelude/catalog.ml @@ -15,6 +15,8 @@ let attribute_rel_name = catalog_prefix ^ "attribute" let constraint_rel_name = catalog_prefix ^ "constraint" let on_rel_name = catalog_prefix ^ "on" let timing_rel_name = catalog_prefix ^ "timing" +let branch_rel_name = catalog_prefix ^ "branch" +let head_rel_name = catalog_prefix ^ "head" let catalog_relation_names = [ relation_rel_name @@ -111,3 +113,4 @@ let build_timing_tuple timing : Tuple.materialized = Tuple.AttributeMap.singleton "timing" { Attribute.value = Obj.magic timing } } + |