| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-02-09 20:03:33 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-02-09 20:03:33 +0100 |
| commit | 7af295b2ec22f06b24079bf895ac97079f64b6d7 (patch) | |
| tree | 84a554fc2c169956e3ee975152332c39f6c3615a /src/core/char.h | |
| parent | 9ca43c73ba29d6b42cd771f1567074418c883c3e (diff) | |
It's starting to "properly" reply...
The ACSL coverage is far behind though.
Diffstat (limited to 'src/core/char.h')
| -rw-r--r-- | src/core/char.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/core/char.h b/src/core/char.h index 7039563..69606a0 100644 --- a/src/core/char.h +++ b/src/core/char.h @@ -13,7 +13,8 @@ int ZoO_word_cmp ( const ZoO_char word_a [const static 1], const size_t word_a_size, - const ZoO_char word_b [const static 1] + const ZoO_char word_b [const static 1], + const size_t word_b_size ); /* |