From cc47a1fb521fffd7b14decbddaea1023874aab53 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Mon, 15 Jan 2024 12:09:06 +0100 Subject: [PATCH] fix --- elpi/constraints/constraint-graph.elpi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/elpi/constraints/constraint-graph.elpi b/elpi/constraints/constraint-graph.elpi index db3aee1..a9c6c2f 100644 --- a/elpi/constraints/constraint-graph.elpi +++ b/elpi/constraints/constraint-graph.elpi @@ -80,7 +80,7 @@ pred add-dep-gref add-dep-gref ID GR T Tm' GRR IDs (constraint-graph G) (constraint-graph G') :- % the classes C_i (IDs) are not really "higher" than the output class C (ID) % here, higher is a way to say that they must be instantiated later than the output class - util.map.update ID (internal.add-higher-node (node.var (ct.gref GR T GR' GRR) IDs)) G G1, + util.map.update ID (internal.add-higher-node (node.var (ct.gref GR T Tm' GRR) IDs)) G G1, std.fold IDs G1 (id\ g\ g'\ util.map.update id (internal.add-lower-node (node.var (ct.gref _ _ _ _) [ID])) g g') G'.