Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
path: root/core
diff options
context:
space:
mode:
Diffstat (limited to 'core')
-rw-r--r--core/insurance.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/core/insurance.xml b/core/insurance.xml
index 23c8481..d2cad09 100644
--- a/core/insurance.xml
+++ b/core/insurance.xml
@@ -314,13 +314,13 @@
<unless name="@generates@" eq="">
<t:assert failure="{@generates@} must not yield a negative value
for any index">
- <t:match-gt on="@generates@" value="ZERO" />
+ <t:match-gte on="@generates@" value="ZERO" />
</t:assert>
</unless>
<unless name="@yields@" eq="">
<t:assert failure="{@yields@} must not yield a negative value">
- <t:match-gt on="@yields@" value="ZERO" />
+ <t:match-gte on="@yields@" value="ZERO" />
</t:assert>
</unless>
</unless>