diff options
Diffstat (limited to 'lib/branch.ml')
| -rw-r--r-- | lib/branch.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |