From b4a2485afbf74e99e2147086fbca0568b7e2b7b8 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 12 Jul 2026 17:55:27 -0300 Subject: relation references as a term kind, written #Name --- lib/branch.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/branch.ml') diff --git a/lib/branch.ml b/lib/branch.ml index a1382c6..994653e 100644 --- a/lib/branch.ml +++ b/lib/branch.ml @@ -83,7 +83,7 @@ let insert world bindings = Option.bind (Label.Map.find_opt label bindings) Pattern.to_term in match (ground relation_l, ground tuple_l, ground before_l) with - | Some (Term.String relation), Some (Term.Record tuple), Some (Term.String before) + | Some (Term.Reference relation), Some (Term.Record tuple), Some (Term.String before) -> ( match (String_map.find_opt relation world.schemas, Hashtbl.find_opt world.states before) -- cgit v1.2.3