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/storage/storage.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/storage/storage.h') diff --git a/src/storage/storage.h b/src/storage/storage.h index c287b23..9eff281 100644 --- a/src/storage/storage.h +++ b/src/storage/storage.h @@ -1,14 +1,14 @@ #ifndef _ZoO_STORAGE_STORAGE_H_ #define _ZoO_STORAGE_STORAGE_H_ -#include "../pipe/pipe_types.h" +#include int ZoO_storage_write_line ( const char filename [const restrict static 1], char line [const restrict static 1], size_t const line_size, - const struct ZoO_pipe io [const restrict static 1] + FILE io [const restrict static 1] ); #endif -- cgit v1.2.3-70-g09d2