From 7af295b2ec22f06b24079bf895ac97079f64b6d7 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 9 Feb 2017 20:03:33 +0100 Subject: It's starting to "properly" reply... The ACSL coverage is far behind though. --- src/core/char.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/core/char.h') 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 ); /* -- cgit v1.2.3-70-g09d2