summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 11:04:24 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 11:04:24 -0400
commit52c51b876af9e05d8eec78c356419c0c4a811ff5 (patch)
tree64be28827149823a9f84eb7e5221f9bad07b0969 /tests
parentce5158acc101774d5a264ae7154e9e0799e3848c (diff)
gt, ge
Diffstat (limited to 'tests')
-rw-r--r--tests/ord.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/ord.ur b/tests/ord.ur
index 4bca682b..c5dac100 100644
--- a/tests/ord.ur
+++ b/tests/ord.ur
@@ -1,3 +1,3 @@
fun main () : transaction page = return <xml><body>
- {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}
+ {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}, {[ 1 > 1 ]}, {[ 2 > 1 ]}, {[ 0 >= 1 ]}, {[ 2 >= 1 ]}
</body></xml>