diff options
Diffstat (limited to 'src/AnnotationList.c')
-rw-r--r-- | src/AnnotationList.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/AnnotationList.c b/src/AnnotationList.c index b14c675b..31d8a991 100644 --- a/src/AnnotationList.c +++ b/src/AnnotationList.c @@ -541,9 +541,13 @@ AnnotationList__compute_from_inadequacies ( { InadequacyList__prependTo (conflict_node, &inadequacy_lists[s->number]); - aver (AnnotationList__insertInto ( - annotation_node, &annotation_lists[s->number], - s->nitems)); + { + bool b = + AnnotationList__insertInto (annotation_node, + &annotation_lists[s->number], + s->nitems); + aver (b); + } /* This aver makes sure the AnnotationList__computeDominantContribution check above does discard annotations in the simplest case of a S/R |