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/knowledge/knowledge_finalize.c | 1 - 1 file changed, 1 deletion(-) (limited to 'src/knowledge/knowledge_finalize.c') diff --git a/src/knowledge/knowledge_finalize.c b/src/knowledge/knowledge_finalize.c index 6c249f0..37548d4 100644 --- a/src/knowledge/knowledge_finalize.c +++ b/src/knowledge/knowledge_finalize.c @@ -2,7 +2,6 @@ #include "knowledge.h" - static void knowledge_sequence_data_finalize ( struct ZoO_knowledge_sequence_data sd [const restrict static 1] -- cgit v1.2.3-70-g09d2