From ee26b8ff850add4f83b912635a71dbde06f268d1 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Fri, 3 Feb 2017 22:20:35 +0100 Subject: Continuing Implementation... --- src/sequence/sequence.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sequence/sequence.c') diff --git a/src/sequence/sequence.c b/src/sequence/sequence.c index 852b05c..f3c3b46 100644 --- a/src/sequence/sequence.c +++ b/src/sequence/sequence.c @@ -75,13 +75,13 @@ static void bypass_redundant_sos /* See "sequence.h" */ /*@ - \requires + requires ( \valid(sequence_a+ (0 .. sequence_a_length)) || (sequence_a_length == 0) ); - \requires + requires ( \valid(sequence_b+ (0 .. sequence_b_length)) || (sequence_b_length == 0) -- cgit v1.2.3-70-g09d2