mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Revert an overlooked file.

Browse Source
This commit is contained in:
Zoltan Somogyi
2024-11-18 02:30:23 +11:00
parent ec99843269
commit da9d238ee2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/term/existential_error1.trans_opt_exp
View File

@@ -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).