diff --git a/tests/issues-OLD/test061.expected b/tests/issues-OLD/test061.expected index bdb1d834c..6fa120f18 100644 --- a/tests/issues-OLD/test061.expected +++ b/tests/issues-OLD/test061.expected @@ -1,4 +1,4 @@ [[1,3],[2,4]] [[_4,3],[2,_4]] -[[_163,_164],[_179,_180]] -[[_163,_179],[_164,_180]] +[[_169,_170],[_185,_186]] +[[_169,_185],[_170,_186]] diff --git a/tests/issues-OLD/test074.expected b/tests/issues-OLD/test074.expected index a121d13e2..594e83b7d 100644 --- a/tests/issues-OLD/test074.expected +++ b/tests/issues-OLD/test074.expected @@ -1,6 +1,6 @@ clause(cup(_3),(liftable(_3),holds_liquid(_3))) clause(liftable(_3),(light(_3),part(_3,handle))) clause(light(_3),small(_3)) -clause(holds_liquid(_3),(part(_3,_59),concave(_59),points_up(_59))) +clause(holds_liquid(_3),(part(_3,_61),concave(_61),points_up(_61))) clause(concave(bowl),true) -cup(_3):-(small(_3),part(_3,handle)),part(_3,_59),concave(_59),points_up(_59) +cup(_3):-(small(_3),part(_3,handle)),part(_3,_61),concave(_61),points_up(_61)