# HG changeset patch
# User atton
# Date 1466494915 0
# Node ID 44cc739b8b561d1c560c6e1386cfd29a21c3ea82
# Parent  517d1108f91f98fe9234e89a2e6c35696bce82b8
Fix assert condition

diff -r 517d1108f91f -r 44cc739b8b56 src/insert_verification/verifySpecification.c
--- 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);
     }