From da9d238ee205ef537c6787818527392eeda8ed56 Mon Sep 17 00:00:00 2001 From: Zoltan Somogyi Date: Mon, 18 Nov 2024 02:30:23 +1100 Subject: [PATCH] Revert an overlooked file. --- tests/term/existential_error1.trans_opt_exp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/term/existential_error1.trans_opt_exp b/tests/term/existential_error1.trans_opt_exp index 36b088a8d..7c2d7c1f0 100644 --- a/tests/term/existential_error1.trans_opt_exp +++ b/tests/term/existential_error1.trans_opt_exp @@ -1,5 +1,5 @@ :- module existential_error1. -:- pragma termination_info(existential_error1.deconstruct_univ(builtin.in, builtin.out), infinite, can_loop). +:- pragma termination_info(existential_error1.deconstruct_univ(builtin.in, builtin.out), infinite, cannot_loop). :- pragma termination2_info(existential_error1.deconstruct_univ(builtin.in, builtin.out), constraints([le([term(1, r(-1, 1))], r(-1, 1))]), not_set, can_loop).