From 0fc0e963067ddd7fcf3b7580bca2c04623d021df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sat, 5 Mar 2016 12:30:13 +0000 Subject: [PATCH] error should not be needed, --- library/maplist.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/maplist.yap b/library/maplist.yap index 87a384826..5f5150d5e 100644 --- a/library/maplist.yap +++ b/library/maplist.yap @@ -932,7 +932,7 @@ goal_expansion(partition(Meta, ListIn, List1, List2, List3), Mod:Goal) :- Outs2 = NOuts2, Outs3 = [In|NOuts3] ; - error:must_be(oneof([<,=,>]), Diff) + must_be(oneof([<,=,>]), Diff) ), RecursiveCall) ], Mod).