diff options
Diffstat (limited to 'src/InadequacyList.c')
-rw-r--r-- | src/InadequacyList.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InadequacyList.c b/src/InadequacyList.c index e827cb0a..f2e45f49 100644 --- a/src/InadequacyList.c +++ b/src/InadequacyList.c @@ -66,7 +66,7 @@ symbol * InadequacyList__getContributionToken (InadequacyList const *self, ContributionIndex i) { - aver (0 <= i && i < self->contributionCount); + aver (0 <= i && i < self->contributionCount); (void) i; return self->inadequacy.conflict.token; } |