changeset 46:44cc739b8b56 default tip

Fix assert condition
author atton
date Tue, 21 Jun 2016 07:41:55 +0000
parents 517d1108f91f
children
files src/insert_verification/verifySpecification.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/insert_verification/verifySpecification.c	Tue Jun 21 01:07:31 2016 +0000
+++ b/src/insert_verification/verifySpecification.c	Tue Jun 21 07:41:55 2016 +0000
@@ -157,7 +157,7 @@
 }
 
 __code verifySpecificationFinish(struct Context* context) {
-    if (context->data[AkashaInfo]->akashaInfo.minHeight > 2*context->data[AkashaInfo]->akashaInfo.maxHeight) {
+    if (context->data[AkashaInfo]->akashaInfo.maxHeight > 2*context->data[AkashaInfo]->akashaInfo.minHeight) {
         context->next = Exit;
         goto meta(context, ShowTrace);
     }