error should not be needed,
This commit is contained in:
parent
f1c9c08f1f
commit
0fc0e96306
@ -932,7 +932,7 @@ goal_expansion(partition(Meta, ListIn, List1, List2, List3), Mod:Goal) :-
|
|||||||
Outs2 = NOuts2,
|
Outs2 = NOuts2,
|
||||||
Outs3 = [In|NOuts3]
|
Outs3 = [In|NOuts3]
|
||||||
;
|
;
|
||||||
error:must_be(oneof([<,=,>]), Diff)
|
must_be(oneof([<,=,>]), Diff)
|
||||||
),
|
),
|
||||||
RecursiveCall)
|
RecursiveCall)
|
||||||
], Mod).
|
], Mod).
|
||||||
|
Reference in New Issue
Block a user