diff --git a/tests/invalid/require_tailrec_2.err_exp3 b/tests/invalid/require_tailrec_2.err_exp3 index bfda2886a..dbfc8f1bd 100644 --- a/tests/invalid/require_tailrec_2.err_exp3 +++ b/tests/invalid/require_tailrec_2.err_exp3 @@ -2,12 +2,6 @@ require_tailrec_2.m:049: In mode number 1 of predicate `map1'/3: require_tailrec_2.m:049: warning: self-recursive call is not tail recursive. require_tailrec_2.m:056: In mode number 1 of predicate `map2'/3: require_tailrec_2.m:056: warning: self-recursive call is not tail recursive. -require_tailrec_2.m:064: In mode number 1 of function `even1'/1: -require_tailrec_2.m:064: warning: mutually recursive call to function -require_tailrec_2.m:064: `odd1'/1 is not tail recursive. -require_tailrec_2.m:073: In mode number 1 of function `odd1'/1: -require_tailrec_2.m:073: warning: mutually recursive call to function -require_tailrec_2.m:073: `even1'/1 is not tail recursive. require_tailrec_2.m:089: In mode number 1 of predicate `qsortapp_1'/2: require_tailrec_2.m:089: warning: self-recursive call is not tail recursive. require_tailrec_2.m:098: In mode number 1 of predicate `qsortapp_2'/2: